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

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


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

# Urheber Titel Jahr Bestand
1
Nipkow, Tobias, 1958- Isabelle, HOL / Tobias Nipkow ; Lawrence C. Paulson ; Markus Wenzel. - (Lecture notes in computer science ; 2283) . - (Tutorial) 

URL: http://digitale-objekte.hbz-nrw.de/storage/2006/07/07/file_129/1474612.pdf
URL: http://digitale-objekte.hbz-nrw.de/storage/2006/07/07/file_129/1474613.pdf
Weitere externe Links

2002 
     


Vorige Seite   Nächste Seite