Treffer: Automated reasoning
Titel:
Automated reasoning : first international joint conference ; proceedings / IJCAR 2001, Siena, Italy, June 18 - 22, 2001. Rajeev Goré ... (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2001
Umfang:
XV, 708 Seiten : Diagramme
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 2083 : Lecture notes in artificial intelligence
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
Schlagworte:
ISBN:
3540422544