Artikel PHS Automated Deduction SPP
-
Autor(en):
Wolfgang Bibel
Peter H. Schmitt -
Quelle:
Kluwer Academic Publishers, 1998
Vol. I Foundation - Calculi and Methods, Applied Logic Series 8
Vol. II Systems and Implementations, Applied Logic Series 9
Vol. III Applications, Applied Logic Series 10