Campusbibliothek

Ihre Suche erzielte 3 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Higher order algebra, logic, and term rewriting second international workshop; selected papers HOA '95, Paderborn, Germany, September 21 - 22, 1995. Gilles Dowek ... (eds.) von Reihen: ; 107400 | Lecture notes in computer science ; 1074
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1996
Weitere Titel:
  • higher-order
  • HOA '95
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1074.
Vormerken Zum Korb hinzufügen
2.
Rewriting and typed lambda calculi joint international conference, RTA-TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 ; proceedings Gilles Dowek (ed.) von Reihen: ; 856000 | Lecture notes in computer science ; 8560
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham [u.a.] Springer 2014
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 8560.
Vormerken Zum Korb hinzufügen
3.
Proofs and algorithms: an introduction to logic and computability Gilles Dowek von Reihen: Undergraduate topics in computer science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Originalsprache: Französisch
Verlagsnummer:
  • 12833764
Verlag: London Heidelberg [u.a.] Springer 2011
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DOW g 2011:1 1.Ex.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha