Automated Theorem-proving in Non-classical Logics

Name: Automated Theorem-proving in Non-classical Logics
Price: 49.47 EUR
Availability: OutOfStock
ISBN: 978-0-273-08781-6

FT Prentice Hall (Verlag)

Erschienen im Januar 1988

Buch

Softcover

154 Seiten

978-0-273-08781-6 (ISBN)

49,47 €inkl. 7% MwSt.

Artikel ist vergriffen; keine Neuauflage

Weitere Details