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

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
044489876X
Dimensions
23 cm
Extent
342 S.
Language
Deutsch
Notes
graph. Darst.
Literaturangaben

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

Event
Veröffentlichung
(where)
Amsterdam, London, New York, Tokyo
(who)
North-Holland
(when)
1992
Contributor
Shi, Zhongzhi
International Workshop on Automated Reasoning (1992 : Peking)

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 1:34 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • Shi, Zhongzhi
  • International Workshop on Automated Reasoning (1992 : Peking)
  • North-Holland

Time of origin

  • 1992

Other Objects (12)