Language:

9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988 : proceedings

International Conference on Automated Deduction (9th 1988 Argonne, Ill.) Ewing Lusk; Ross A Overbeek

Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.310 ex.1 ) and other locations(GetIt)

Title:
9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988 : proceedings
Author: International Conference on Automated Deduction (9th 1988 Argonne, Ill.)
Ewing Lusk; Ross A Overbeek
Subjects: Automatic theorem proving -- Congresses; Logic, Symbolic and mathematical -- Congresses; INTELIGÊNCIA ARTIFICIAL
Notes: Includes bibliographies
Related Titles: Series:Lecture notes in computer science 310
Publisher: Berlin Springer-Verlag New York
Creation Date: c1988
Format: x, 775 p. ill. 25 cm.
Language: English

Links

Back to results list