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
- 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
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