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> |
Saved in:
Saved in favorites
Similar items by subject
-
Methodik und Praxis der Komplexitätsbewältigung : am 4. und 5. Oktober 1991 in Aachen
Henning, Klaus, (1992)
-
Aussois 2000 Workshop on Combinatorial Optimization
Liebling, Thomas M., (2003)
-
Zaytoon, Janan, (1998)
- More ...
Similar items by person