Home  | Impressum | Sitemap | KIT

Artikel PHS Automated Deduction SPP

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