An edition of 9th International Conference on Automated Deduction (1988)

9th International Conference on Automated Deduction

Argonne, Illinois, USA, May 23-26, 1988 : proceedings

By International Conference on Automated Deduction (9th 1988 Argonne, Ill.)

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1988

Publisher

Springer-Verlag

Language

eng

Pages

775

Description:

subjects: Automatic theorem proving, Congresses, Symbolic and mathematical Logic, Redeneren, Computersystemen, Deductie, Théorèmes, Congrès, Démonstration automatique, Logique symbolique et mathématique, Inteligência artificial (c0mputação)