Automated reasoning : proceedings of the IFIP TC12/WG12.3 international workshop on automated reasoning, Beijing, P. R. China, 13-16 July 1992 / edited by Z. Shi.
- Amsterdam : North-Holland , cop. 1992 .
- XI, 341 p. : il. ; 23 cm.
- (IFIP Transactions A: Computer science and technology)
; A-19
ISBN 0-444-89876-X
Demonstração de teoremas
Inteligência artificial
LCC QA76.9
ISBN 0-444-89876-X
Demonstração de teoremas
Inteligência artificial
LCC QA76.9
