Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für ISBN= "9783540557272"; 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
Voronkov, Andrei Logic Programming and Automated Reasoning [Elektronische Ressource]. - (Lecture Notes in Computer Science ; 624) 

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

 1992  1042 Birkenfeld: HSB Trier
1105 Remagen: HSB Koblenz
929 KO: Rhein. LB
987 KO: HSB Koblenz
Tr 5 TR: HSB Trier
     
2
Voronkov, Andrei [Herausgeber] LOGIC PROGRAMMING AND AUTOMATED REASONING / ed.: VORONKOV, ANDREI. - (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE ; 624) 



1992 
     
3
Voronkov, Andrei [Herausgeber] Logic programming and automated reasoning / International Conference LPAR ’92, St. Petersburg, Russia, July 15 - 20, 1992. A. Voronkov (ed.). - (Lecture notes im computer science ; 624 : Lecture notes in artificial intelligence) 



1992 
     


Vorige Seite   Nächste Seite