Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für ISBN= "9780521118019"; Sortiert nach: Jahr, dann Urheber

  Vollanzeige Speichern/Senden Auswahlliste In den Korb Modifizieren Hilfe zur Ergebnisliste


Titel 1 - 2 von 2  
 
 
Vorige Seite   Nächste Seite

# Urheber Titel Jahr Bestand
1
Dowek, Gilles, 1966- [Verfasser] Computation, proof, machine [Online-Ressource] / Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA). - First English edition. - (Cambridge Books Online) 

URL: http://dx.doi.org/10.1017/CBO9781139026581 ; Hinw.: Verlag

 2015 
     
2
Dowek, Gilles, 1966- Computation, proof, machine / Gilles Dowek. - 1. English ed.

URL: http://digitale-objekte.hbz-nrw.de/storage2/2015/09/14/file_6/6416505.pdf
Inhaltsverzeichnis

 2015 
     


Vorige Seite   Nächste Seite