Automated reasoning : proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992

Automated reasoning proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992

Bibliographic Details
Corporate Author: IFIP TC12/WG12.3 International Workshop on Automated Reasoning (-)
Other Authors: Shi, Zhongzhi (-)
Format: Book
Language:Inglés
Published: Amsterdam [etc.] : North-Holland 1992.
Series:IFIP Transactions. A, Computer Science and Technology ; A-19
Subjects:
Teoremas > demostración automática > congresos y asambleas.
Inteligencia artificial > congresos y asambleas.
See on Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991005509499703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Request an interlibrarian loan: Email
Description
Physical Description:xi, 341 p. : il. ; 23 cm
Bibliography:Bibliografía.
ISBN:9780444898760

Similar Items