- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540502418
3540502416
9780387502410
0387502416
- Maße
-
25 cm
- Umfang
-
VI, 346 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; Vol. 329
- Schlagwort
-
Informatik
Logik
Informatik
Mathematische Logik
Informatik
Mathematische Logik
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo
- (wer)
-
Springer
- (wann)
-
1988
- Beteiligte Personen und Organisationen
-
Börger, Egon
CSL (1 : 1987 : Karlsruhe)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:42 MEZ
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.
Objekttyp
- Konferenzschrift
- Kongress
Beteiligte
- Börger, Egon
- CSL (1 : 1987 : Karlsruhe)
- Springer
Entstanden
- 1988
Ähnliche Objekte (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]