Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für ISBN= "3540440399"; 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
Carreño, Victor A. [Hrsg.] Theorem proving in higher order logics / TPHOLs 2002, Hampton, VA, USA, August 20 - 23, 2002. Victor A. Carreño ... (ed.). - (Lecture notes in computer science ; 2410) 

URL: http://digitale-objekte.hbz-nrw.de/storage/2006/07/07/file_154/1477772.pdf
URL: http://digitale-objekte.hbz-nrw.de/storage/2006/07/07/file_154/1477773.pdf
Weitere externe Links

2002 
     


Vorige Seite   Nächste Seite