Konferenzschrift | Kongress
Computer science logic : 13th international workshop ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540665366
3540665366
- Dimensions
-
24 cm
- Extent
-
XI, 580 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Annual conference of the EACSL / European Association for Computer Science Logic ; 8
Lecture notes in computer science ; Vol. 1683
- Keyword
-
Theoretische Informatik
Logik
Logische Programmierung
Programmierlogik
Komplexitätstheorie
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1999
- 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, 2:23 PM CEST
Data provider
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Flum, Jörg
- CSL (13 : 1999 : Madrid)
- Springer
Time of origin
- 1999