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:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 2083 : Lecture notes in artificial intelligence
alle Bände anzeigen

Anmerkungen:

Literaturangaben

RVK-Notation:

Schlagworte:

ISBN:

3540422544

Zusatz-Informationen