Tomeki
Cover of Proceedings

Proceedings

10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990

By International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany)

0 (0 Ratings)
0 Want to read0 Currently reading0 Have read

Publish Date

1990

Publisher

Springer-Verlag

Language

eng

Pages

688

Description:

subjects: Automatic theorem proving,  Congresses,  Symbolic and mathematical Logic,  Theoremes,  Automatisches Beweisverfahren,  Logique symbolique et mathematique,  Congres,  Inteligencia artificial (conmputacʹao),  Demonstration automatique