- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540502418
3540502416
9780387502410
0387502416
- Dimensions
-
25 cm
- Extent
-
VI, 346 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 329
- Keyword
-
Informatik
Logik
Informatik
Mathematische Logik
Informatik
Mathematische Logik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo
- (who)
-
Springer
- (when)
-
1988
- Contributor
-
Börger, Egon
CSL (1 : 1987 : Karlsruhe)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:42 AM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Börger, Egon
- CSL (1 : 1987 : Karlsruhe)
- Springer
Time of origin
- 1988
Other Objects (12)
Proceedings / ECOOP '87
Proceedings / AIME 87
Computer graphics 1987 [nineteen hundred and eighty-seven] : proceedings of CG International '87
The radio galaxy messier 87 : proceedings of a workshop held at Ringberg Castle, Tegernsee, Germany, 15 - 19 September 1997
Scanning microscopy : symposium proceedings
Advances in artificial intelligence, 7.. Bari, Italy, September 25 - 28, 2001 ; proceedings
Proceedings EURING analytical conference 2009
Statistical and scientific database management : 5. international conference Charlotte, N.C., USA, April 3 - 5, 1990 ; proceedings
Konzeption und Einsatz von Umweltinformationssystemen : proceedings
Collaborative design : proceedings of codesigning 2000
Nonlinear waves in active media : [proceedings]
Microwave applications : proceedings of the Microwave Congress at the 8th International Congress Laser 87
Proceedings / ECOOP '87
Proceedings / AIME 87
Computer graphics 1987 [nineteen hundred and eighty-seven] : proceedings of CG International '87
The radio galaxy messier 87 : proceedings of a workshop held at Ringberg Castle, Tegernsee, Germany, 15 - 19 September 1997
Scanning microscopy : symposium proceedings
Advances in artificial intelligence, 7.. Bari, Italy, September 25 - 28, 2001 ; proceedings
Proceedings EURING analytical conference 2009
Statistical and scientific database management : 5. international conference Charlotte, N.C., USA, April 3 - 5, 1990 ; proceedings
Konzeption und Einsatz von Umweltinformationssystemen : proceedings
Collaborative design : proceedings of codesigning 2000
Nonlinear waves in active media : [proceedings]
Microwave applications : proceedings of the Microwave Congress at the 8th International Congress Laser 87
Proceedings / ECOOP '87
Proceedings / AIME 87
Computer graphics 1987 [nineteen hundred and eighty-seven] : proceedings of CG International '87
The radio galaxy messier 87 : proceedings of a workshop held at Ringberg Castle, Tegernsee, Germany, 15 - 19 September 1997
Scanning microscopy : symposium proceedings
Advances in artificial intelligence, 7.. Bari, Italy, September 25 - 28, 2001 ; proceedings
Proceedings EURING analytical conference 2009
Statistical and scientific database management : 5. international conference Charlotte, N.C., USA, April 3 - 5, 1990 ; proceedings
Konzeption und Einsatz von Umweltinformationssystemen : proceedings
Collaborative design : proceedings of codesigning 2000
Nonlinear waves in active media : [proceedings]