Automated Theorem Proving in Non- Classical Logics

von Charles G. Morgan

Gebunden

ISBN: 978-3-540-97692-9

ISBN-10: 3-540-97692-2

Springer-Verlag GmbH · 1998

S. auch (eventuell von anderen Autoren):
1995HardcoverAutomated Theorem Proving in Non-Classical Logics