Originalsprache | Englisch |
---|---|
Seiten (von - bis) | V |
Fachzeitschrift | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Jahrgang | 2083 LNAI |
Publikationsstatus | Veröffentlicht - 2001 |
Veranstaltung | 1st International Joint Conference on Automated Reasoning, IJCAR 2001 - Siena, Italien Dauer: 18 Juni 2001 → 22 Juni 2001 |
Foreword
Rajeev Gore, Alexander Leitsch, Tobias Nipkow
Publikation: Beitrag in Fachzeitschrift › Leitartikel
1
Zitat
(Scopus)