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

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


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

# Urheber Titel Jahr Bestand
1
Hutter, Dieter Mechanizing Mathematical Reasoning [Elektronische Ressource] / edited by Dieter Hutter, Werner Stephan. - (Lecture Notes in Computer Science ; 2605) 

URL: http://dx.doi.org/10.1007/b106663 ; Hinw.: Resolving-System

 2005 
     
2
Hutter, Dieter [Herausgeber] Mechanizing mathematical reasoning [Elektronische Ressource] / Dieter Hutter ... (eds.). - (Lecture notes in computer science ; 2605 : Lecture notes in artificial intelligence) . - (Festschrift) 

URL: http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2605 ; Bemk.: Inhaltsverzeichnis; Volltext nur bei Lizensierung

 2005 
     
3
Hutter, Dieter [Herausgeber] Mechanizing mathematical reasoning / Dieter Hutter ... (eds.). - (Lecture notes in computer science ; 2605 : Lecture notes in artificial intelligence) . - (Festschrift) 

URL: http://digitale-objekte.hbz-nrw.de/storage/2006/07/07/file_352/1504805.pdf
URL: http://digitale-objekte.hbz-nrw.de/storage/2006/07/07/file_352/1504806.pdf
Weitere externe Links

2005 
     


Vorige Seite   Nächste Seite