Edinburgh Research Explorer

Automated Deduction - CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

Research output: Book/ReportAnthology

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Original languageEnglish
PublisherSpringer-Verlag GmbH
ISBN (Electronic)978-3-540-48467-7
ISBN (Print)3-540-58156-1, 978-3-540-58156-7
StatePublished - 1994

Abstract

Lecture Notes in Artificial Intelligence 814.

Download statistics

No data available

ID: 405779