Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für ISBN= "082185027X"; 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
Bledsoe, Woody W., 1921-1995 Automated theorem proving / W. W. Bledsoe ..., ed.. - (Contemporary mathematics ; 29) 

URL: http://digitale-objekte.hbz-nrw.de/storage/2007/05/23/file_86/1899981.pdf
Inhaltsverzeichnis

 1984 
     


Vorige Seite   Nächste Seite