Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für ISBN= "9783540283720"; 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
Hurd, Joe Theorem Proving in Higher Order Logics [Elektronische Ressource] / edited by Joe Hurd, Tom Melham. - (Lecture Notes in Computer Science ; 3603) 

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

 2005 
     
2
Hurd, Joe [Hrsg.] Theorem proving in higher order logics [Elektronische Ressource] / TPHOLs 2005, Oxford, UK, August 22 - 25, 2005. Joe Hurd ... (ed.). - (Lecture notes in computer science ; 3603) 



2005 
     
3
Hurd, Joe [Herausgeber] Theorem proving in higher order logics / TPHOLs 2005, Oxford, UK, August 22 - 25, 2005. Joe Hurd ... (ed.). - (Lecture notes in computer science ; 3603) 



2005 
     


Vorige Seite   Nächste Seite