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

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


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

# Urheber Titel Jahr Bestand
1
Chang, Chin-Liang Symbolic logic and mechanical theorem Proving / Chin-Liang Chang ; Richard Char-Tung Lee. - 3. [print.]. - (Computer science classics) 



1990 
     
2
Chang, Chin-Liang Symbolic logic and mechanical theorem proving / Chin-Liang Chang ; Richard Char-Tung Lee. - [Nachdr.]. - (Computer science classics) 



1990 
     
3
Chang, Chin-Liang Symbolic logic and mechanical theorem proving / Chin-Liang Chang ; Richard Char-Tung Lee. - (Computer science classics) 



1987 
     
4
Chang, Chin-Liang Symbolic logic and mechanical theorem proving / Chin-Liang Chang ; Richard Char-Tung Lee. - 1. [Dr.]. - (Computer science classics) 

URL: http://digitale-objekte.hbz-nrw.de/storage/2007/06/01/file_64/1942697.pdf
Inhaltsverzeichnis

 1987 
     
5
Chang, Chin-Liang Symbolic logic and mechanical theorem proving / Chin-Liang Chang ; Richard Char-Tung Lee. - 6. [print.]. - (Computer science and applied mathematics) 



1985 
     
6
Chang, Chin-Liang Symbolic logic and mechanical theorem proving / Chin-Liang Chang ; Richard Char-Tung Lee. - (Computer science and applied mathematics) 

URL: http://digitale-objekte.hbz-nrw.de/storage/2007/06/01/file_64/1942693.pdf
Inhaltsverzeichnis

 1973 
     


Vorige Seite   Nächste Seite