Automated deduction - CADE-12 : proceedings of the 12th international conference on automated deduction, held in Nancy, France, June 26-July 1, 1994 / Alan Bundy, ed. lit..
- Berlin - Heidelberg, DE [etc.] : Springer-Verlag , cop. 1994 .
- XVI, 848 p. : il. ; 24 cm.
- (Lecture Notes in Computer Science)
. 814. Lecture Notes in Artificial Intelligence
ISBN 3-540-58156-1
Demonstração de teoremas
Lógica matemática
LCC Q334
ISBN 3-540-58156-1
Demonstração de teoremas
Lógica matemática
LCC Q334