Foreword

Rajeev Gore, Alexander Leitsch, Tobias Nipkow

Publikation: Beitrag in FachzeitschriftLeitartikel

1 Zitat (Scopus)
OriginalspracheEnglisch
Seiten (von - bis)V
FachzeitschriftLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Jahrgang2083 LNAI
PublikationsstatusVeröffentlicht - 2001
Veranstaltung1st International Joint Conference on Automated Reasoning, IJCAR 2001 - Siena, Italien
Dauer: 18 Juni 200122 Juni 2001

Dieses zitieren