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

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


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

# Urheber Titel Jahr Bestand
1
Schubert, E. Thomas [Herausgeber] Higher Order Logic Theorem Proving and Its Applications [Online-Ressource] / edited by E. Thomas Schubert, Phillip J. Windley, James Alves-Foss. - 1st ed. 1995. - (Lecture Notes in Computer Science ; 971) 

URL: https://doi.org/10.1007/3-540-60275-5 ; Hinw.: Resolving-System

 1995 
     
2
Thomas Schubert, E. Higher Order Logic Theorem Proving and Its Applications [Elektronische Ressource]. - (Lecture Notes in Computer Science ; 971) 

URL: http://dx.doi.org/10.1007/3-540-60275-5 ; Hinw.: Verlag

 1995  1042 Birkenfeld: HSB Trier
1105 Remagen: HSB Koblenz
929 KO: Rhein. LB
987 KO: HSB Koblenz
Tr 5 TR: HSB Trier
     
3
Schubert, E. Thomas [Hrsg.] Higher order logic theorem proving and its applications / Aspen Grove, UT, USA, September 11 - 14, 1995. E. Thomas Schubert ... (eds.). - (Lecture notes in computer science ; 971) 



1995 
     
4

Higher order logic theorem proving and its applications: 8 Aspen Grove, UT, USA, September 11 - 14, 1995. - (Lecture notes in computer science ; 971) 



1995 
     


Vorige Seite   Nächste Seite