Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Leipzig
Available in Leipzig

International Workshop on Automated Reasoning (1992, Peking) and Zhongzhi Shi

Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning ; Beijing, P. R. China, 13 - 16 July 1992

Amsterdam, London, New York, Tokyo: North-Holland, 1992

Title

Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning ; Beijing, P. R. China, 13 - 16 July 1992 / ed. by Z. Shi

Involved 

International Workshop on Automated Reasoning (1992, Peking) (Verfasser)
Zhongzhi Shi (Herausgeber)

Published

Amsterdam, London, New York, Tokyo: North-Holland
1992

Extent

342 S. : graph. Darst.

ISBN

0-444-89876-X

Series

IFIP transactions / International Federation for Information Processing. A, Computer science and technology ; 19

Further information

Literaturangaben

Record ID

368808335
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal