Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science (1761), Band 1761)

Classical

von: Ricardo Caferra · Gernot Salzer

Taschenbuch

Details (Deutschland)

EAN=ISBN-13: 978-3-540-67190-9

ISBN-10: 3-540-67190-0

Springer Berlin Heidelberg · 2008