Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für ISBN= "3540208542"; 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
Bertot, Yves Interactive theorem proving and program development / Yves Bertot ; Pierre Castéran. - (Texts in theoretical computer science) 

URL: http://digitale-objekte.hbz-nrw.de/storage/2006/07/07/file_401/1511728.pdf
URL: http://digitale-objekte.hbz-nrw.de/storage/2006/07/07/file_401/1511729.pdf
Weitere externe Links

2004 
     


Vorige Seite   Nächste Seite