Konferenzschrift | Kongress
Computer science logic : 8th workshop ; selected papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540600176
3540600175
- Dimensions
-
24 cm
- Extent
-
IX, 541 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 933
- Keyword
-
Informatik
Logik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Tokyo
- (who)
-
Springer
- (when)
-
1995
- Contributor
-
Pacholski, Leszek
CSL (8 : 1994 : Kazimierz)
- 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:14 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
- Pacholski, Leszek
- CSL (8 : 1994 : Kazimierz)
- Springer
Time of origin
- 1995
Other Objects (12)
Rewriting logic and its applications : 8th international workshop ; revised selected papers
Logic based program synthesis and transformation : 8th international workshop ; selected papers
Runtime verification : 8th international workshop ; selected papers
Computational logic in multi-agent systems : 8th international workshop ; revised selected and invited papers
Computer science logic : 6th workshop ; selected papers
Computer science logic : 7th workshop ; selected papers
Information hiding : 8th international workshop ; revised selected papers
Inductive logic programming : 6th international workshop ; selected papers
Information security applications : 8th international workshop ; revised selected papers
Implementation of functional languages : 8th international workshop ; selected papers
Programming multi-agent systems : 8th international workshop ; revised selected papers
Security and trust management : 8th international workshop ; revised selected papers
Rewriting logic and its applications : 8th international workshop ; revised selected papers
Logic based program synthesis and transformation : 8th international workshop ; selected papers
Runtime verification : 8th international workshop ; selected papers
Computational logic in multi-agent systems : 8th international workshop ; revised selected and invited papers
Computer science logic : 6th workshop ; selected papers
Computer science logic : 7th workshop ; selected papers
Information hiding : 8th international workshop ; revised selected papers
Inductive logic programming : 6th international workshop ; selected papers
Information security applications : 8th international workshop ; revised selected papers
Implementation of functional languages : 8th international workshop ; selected papers
Programming multi-agent systems : 8th international workshop ; revised selected papers
Security and trust management : 8th international workshop ; revised selected papers
Rewriting logic and its applications : 8th international workshop ; revised selected papers
Logic based program synthesis and transformation : 8th international workshop ; selected papers
Runtime verification : 8th international workshop ; selected papers
Computational logic in multi-agent systems : 8th international workshop ; revised selected and invited papers
Computer science logic : 6th workshop ; selected papers
Computer science logic : 7th workshop ; selected papers
Information hiding : 8th international workshop ; revised selected papers
Inductive logic programming : 6th international workshop ; selected papers
Information security applications : 8th international workshop ; revised selected papers
Implementation of functional languages : 8th international workshop ; selected papers
Programming multi-agent systems : 8th international workshop ; revised selected papers