Special issue: CADE 1996
guest ed.: John Slaney.[Qing Guo...]
| Alternative title: | CADE 1996 |
|---|---|
| Year of publication: |
2000
|
| Other Persons: | Slaney, John K. (contributor) ; Guo, Qing (contributor) |
| Institutions: | CADE <International Conference on Automated Deduction, 13, 1996, New Brunswick, NJ> |
| Published in: |
Information and computation. - Amsterdam : Elsevier, ISSN 0890-5401, ZDB-ID 283864-3. - Vol. 162
|
| Publisher: |
San Diego [u.a.] : Acad. Press |
| Subject: | Automatisches Beweisverfahren | Kongress | New Brunswick <NJ, 1996> |
| Extent: | 266 S. : graph. Darst. |
|---|---|
| Type of publication: | Book / Working Paper |
| Type of publication (narrower categories): | Konferenzschrift |
| Language: | English |
| Classification: | Theoretische Informatik |
| Source: |
Persistent link: https://www.econbiz.de/10004902106