Artikel PHS Automated Deduction SPP
| Autor(en): | Wolfgang Bibel |
||
|---|---|---|---|
| Quelle: | Kluwer Academic Publishers, 1998 Vol. I Foundation - Calculi and Methods, Applied Logic Series 8 |
||
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft