- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540512370
3540512373
9780387512372
0387512373
- Dimensions
-
25 cm
- Extent
-
X, 289 S.
- Language
-
Englisch
- Bibliographic citation
-
Logic at Botik ; 1989
Lecture notes in computer science ; 363
- Keyword
-
Informatik
Mathematische Logik
Mathematische Logik
Informatik
Mathematische Logik
Informatik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong
- (who)
-
Springer
- (when)
-
1989
- Contributor
-
Meyer, Albert R.
Symposium on Logical Foundations of Computer Science (1 : 1989 : Pereslavlʹ-Zalesskij)
- 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, 2:24 PM CEST
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
- Meyer, Albert R.
- Symposium on Logical Foundations of Computer Science (1 : 1989 : Pereslavlʹ-Zalesskij)
- Springer
Time of origin
- 1989
Other Objects (12)
Logic programming : proceedings
Computer science logic : proceedings
Logic in databases : proceedings
Logic programming in action : proceedings
Deontic logic in computer science : proceedings
Logic and theory of algorithms : proceedings
Logic programming : 24rd international conference ; proceedings
Temporal logic : first international conference ; proceedings
Logic programming : 22nd international conference ; proceedings
Fuzzy logic and fuzzy control : proceedings
Logic programming : 25th international conference ; proceedings
Logic programming : 20th international conference ; proceedings
Logic programming : proceedings
Computer science logic : proceedings
Logic in databases : proceedings
Logic programming in action : proceedings
Deontic logic in computer science : proceedings
Logic and theory of algorithms : proceedings
Logic programming : 24rd international conference ; proceedings
Temporal logic : first international conference ; proceedings
Logic programming : 22nd international conference ; proceedings
Fuzzy logic and fuzzy control : proceedings
Logic programming : 25th international conference ; proceedings
Logic programming : 20th international conference ; proceedings
Logic programming : proceedings
Computer science logic : proceedings
Logic in databases : proceedings
Logic programming in action : proceedings
Deontic logic in computer science : proceedings
Logic and theory of algorithms : proceedings
Logic programming : 24rd international conference ; proceedings
Temporal logic : first international conference ; proceedings
Logic programming : 22nd international conference ; proceedings
Fuzzy logic and fuzzy control : proceedings
Logic programming : 25th international conference ; proceedings