Artikel PHS Automated Deduction SPP
Autor(en): | Wolfgang Bibel |
||
---|---|---|---|
Quelle: | Kluwer Academic Publishers, 1998 Vol. I Foundation - Calculi and Methods, Applied Logic Series 8 |
||
Autor(en): | Wolfgang Bibel |
||
---|---|---|---|
Quelle: | Kluwer Academic Publishers, 1998 Vol. I Foundation - Calculi and Methods, Applied Logic Series 8 |
||