|
" 9th International Conference on Automated Deduction : "
E. Lusk, R. Overbeek (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
608572
|
| Doc. No
|
:
|
dltt
|
| Main Entry
|
:
|
International Conference on Automated Deduction(9th :1988 :, Argonne, Ill.)
|
| Title & Author
|
:
|
9th International Conference on Automated Deduction : : Argonne, Illinois, USA, May 23-26, 1988 : proceedings /\ E. Lusk, R. Overbeek (eds.).
|
| Publication Statement
|
:
|
Berlin ;New York :: Springer-Verlag,, c1988.
|
| Series Statement
|
:
|
Lecture notes in computer science ;; 310.
|
| Page. NO
|
:
|
x, 775 p. :: ill. ;; 25 cm.
|
| ISBN
|
:
|
038719343X (U.S.)
|
|
|
:
|
: 9780387193434 (U.S.)
|
|
|
:
|
: 354019343X
|
|
|
:
|
: 9783540193432
|
| Bibliographies/Indexes
|
:
|
Includes bibliographies.
|
| Subject
|
:
|
Automatic theorem proving-- Congresses.
|
| Subject
|
:
|
Logic, Symbolic and mathematical-- Congresses.
|
| Dewey Classification
|
:
|
511.3
|
| LC Classification
|
:
|
QA76.9.A96I57 1988
|
| Added Entry
|
:
|
Lusk, Ewing.
|
|
|
:
|
Overbeek, Ross A.
|
| |