Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning ; Beijing, P. R. China, 13 - 16 July 1992
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
044489876X
- Maße
-
23 cm
- Umfang
-
342 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
IFIP transactions / A / International Federation for Information Processing ; 19, A, Computer science and technology
- Ereignis
-
Veröffentlichung
- (wo)
-
Amsterdam, London, New York, Tokyo
- (wer)
-
North-Holland
- (wann)
-
1992
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:34 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Shi, Zhongzhi
- International Workshop on Automated Reasoning (1992 : Peking)
- North-Holland
Entstanden
- 1992
Ähnliche Objekte (12)
![IFIP bibliography : 1960 - 1985 : [bibliography prepared by occasion of the 25th anniversary of IFIP]](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
IFIP bibliography : 1960 - 1985 : [bibliography prepared by occasion of the 25th anniversary of IFIP]
Environmental systems analysis and management : proceedings of the IFIP WG 7.1 Working Conference on Environmental System Analysis and Management, Rome, Italy, 28-30 september, 1981
A quarter century of IFIP : the IFIP silver summary ; proceedings of the 25th anniversary celebration of IFIP, Munich, FRG, 27 March, 1985
Links for the future, Pt. 1
Proceedings of the (General Interest) International Conference held at Toronto, Canada, 18-21 august 1983
Proceedings of the International Conference held at Valencia, Spain, june 1981
The international monetary system and its reform, Pt. 1
Proceedings of the International Conference held in Dublin, Ireland, march 1982
Links for the future, Pt. 2
Proceedings of the International Forecasting Conference held in Valencia, Spain, may 1982
Hydrological, geophysical and spatial applications : proceedings of the International Conference held at Toronto, Canada, 10-14 august 1983
Applied time series analysis : proceedings of the international conference held at Houston, Texas, August 1981
IFIP bibliography : 1960 - 1985 : [bibliography prepared by occasion of the 25th anniversary of IFIP]
Environmental systems analysis and management : proceedings of the IFIP WG 7.1 Working Conference on Environmental System Analysis and Management, Rome, Italy, 28-30 september, 1981
A quarter century of IFIP : the IFIP silver summary ; proceedings of the 25th anniversary celebration of IFIP, Munich, FRG, 27 March, 1985
Links for the future, Pt. 1
Proceedings of the (General Interest) International Conference held at Toronto, Canada, 18-21 august 1983
Proceedings of the International Conference held at Valencia, Spain, june 1981
The international monetary system and its reform, Pt. 1
Proceedings of the International Conference held in Dublin, Ireland, march 1982
Links for the future, Pt. 2
Proceedings of the International Forecasting Conference held in Valencia, Spain, may 1982
Hydrological, geophysical and spatial applications : proceedings of the International Conference held at Toronto, Canada, 10-14 august 1983
Applied time series analysis : proceedings of the international conference held at Houston, Texas, August 1981
IFIP bibliography : 1960 - 1985 : [bibliography prepared by occasion of the 25th anniversary of IFIP]
Environmental systems analysis and management : proceedings of the IFIP WG 7.1 Working Conference on Environmental System Analysis and Management, Rome, Italy, 28-30 september, 1981
A quarter century of IFIP : the IFIP silver summary ; proceedings of the 25th anniversary celebration of IFIP, Munich, FRG, 27 March, 1985
Links for the future, Pt. 1
Proceedings of the (General Interest) International Conference held at Toronto, Canada, 18-21 august 1983
Proceedings of the International Conference held at Valencia, Spain, june 1981
The international monetary system and its reform, Pt. 1
Proceedings of the International Conference held in Dublin, Ireland, march 1982
Links for the future, Pt. 2
Proceedings of the International Forecasting Conference held in Valencia, Spain, may 1982
Hydrological, geophysical and spatial applications : proceedings of the International Conference held at Toronto, Canada, 10-14 august 1983