10th= 10international conference on automated deduction, : proceedings, Kaiserslautern, FRG, July 24-27, 1990 / edited by M. E. Stickel.
- Berlin...[etc] : Springer-Verlag , cop. 1990 .
- XVI, 688 p. ; 25 cm.
- (Lectures notes in computer science)
. Lecture notes in artificial intelligence ; 449
ISBN 3-540-52885-7
Sistemas de dedução automática
LCC QA76
ISBN 3-540-52885-7
Sistemas de dedução automática
LCC QA76