Rajeev Gore, Alexander Leitsch, Tobias Nipkow

Research output: Contribution to journalEditorial

1 Scopus citations
Original languageEnglish
Pages (from-to)V
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2083 LNAI
StatePublished - 2001
Event1st International Joint Conference on Automated Reasoning, IJCAR 2001 - Siena, Italy
Duration: 18 Jun 200122 Jun 2001

Cite this