Logic Colloquium '01
Book title Buchtitel
Logic Colloquium '01
Publisher Herausgeber
Association of Symbolic Logic, A K Peters, Ltd.
Place of publishing Erscheinungsort
Wellesley, Massachusetts
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Leitsch, Alexander | Resolution Theorem Proving: a logical point of view | Konferenzbeitrag Inproceedings | 2005 |