Logik und Formale Methoden

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