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
Flum, Jörg
CSL (13 : 1999 : Madrid)

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

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Konferenzschrift
  • Kongress

Associated

Time of origin

  • 1999

Other Objects (12)