Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für ISBN= "9783540115588"; 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
Conference on Automated Deduction [Verfasser] Conference on Automated Deduction: 6 New York, USA, june 7 - 9, 1982 / ed. by D. W. Loveland. - (Lecture notes in computer science ; 138) 



1982 
     
2
Conference on Automated Deduction [Verfasser] Conference on Automated Deduction: 6 New York, USA, June 7 - 9, 1982. - (Lecture notes in computer science ; 138) 



1982 
     
3
Conference on Automated Deduction, 6 (1982 : New York, NY) 6th Conference on Automated Deduction / ed. by Donald W. Loveland. - (Lecture notes in computer science ; 138) 



1982 
     
4
International Conference on Automated Deduction Proceedings: 6 New York, USA, June 7-9, 1982. - (... ; 138) 



1982 
     
5
Loveland, D. W. [Herausgeber] 6th Conference on Automated Deduction [Online-Ressource] / edited by D. W. Loveland. - 1st ed. 1982. - (Lecture Notes in Computer Science ; 138) 

URL: https://doi.org/10.1007/BFb0000048 ; Hinw.: Resolving-System

 1982 
     
6
Loveland, D. 6th Conference on Automated Deduction [Elektronische Ressource]. - (Lecture Notes in Computer Science ; 138) 

URL: http://dx.doi.org/10.1007/BFb0000048 ; Hinw.: Verlag

 1982  1042 Birkenfeld: HSB Trier
1105 Remagen: HSB Koblenz
929 KO: Rhein. LB
987 KO: HSB Koblenz
Tr 5 TR: HSB Trier
     


Vorige Seite   Nächste Seite