Monografie
Logical foundations of computer science : international symposium ; proceedings
- Language
-
Englisch
- Extent
-
XI, 511 S.
- ISBN
-
978-3-540-72732-3
- Identifier
-
983972753
- Series
-
Lecture notes in computer science; Vol. 4514
Subject
Informatik ; Logische Programmierung ; Berechnungskomplexität ; Logik ; Computational logic ; Konferenzschrift New York (NY); Kongress New York
Contributor
Artemov, Sergei N.
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
16.08.2023, 6:36 PM CEST
Object type
- Monografie
Associated
- Artemov, Sergei N.
Other Objects (12)
Logical foundations of computer science : international symposium ; proceedings
Logical foundations of computer science : international symposium ; proceedings
Computer science logic : 23rd international workshop ; proceedings
Computer science logic : 22nd international workshop ; proceedings
Computer science logic : 24th international workshop ; proceedings
Computer science logic : 21st international workshop ; proceedings
Computer science logic : 19th international workshop ; proceedings
Computer science logic : 20th international workshop ; proceedings
Frontiers of combining systems : 8th international symposium ; proceedings
Logical aspects of computational linguistics : 5th international conference ; proceedings
Logic based program synthesis and transformation : 11th international workshop ; selected papers
Logic based program synthesis and transformation : 10th international workshop ; selected papers
Logical foundations of computer science : international symposium ; proceedings
Logical foundations of computer science : international symposium ; proceedings
Computer science logic : 23rd international workshop ; proceedings
Computer science logic : 22nd international workshop ; proceedings
Computer science logic : 24th international workshop ; proceedings
Computer science logic : 21st international workshop ; proceedings
Computer science logic : 19th international workshop ; proceedings
Computer science logic : 20th international workshop ; proceedings
Frontiers of combining systems : 8th international symposium ; proceedings
Logical aspects of computational linguistics : 5th international conference ; proceedings
Logic based program synthesis and transformation : 11th international workshop ; selected papers
Logic based program synthesis and transformation : 10th international workshop ; selected papers
Logical foundations of computer science : international symposium ; proceedings
Logical foundations of computer science : international symposium ; proceedings
Computer science logic : 23rd international workshop ; proceedings
Computer science logic : 22nd international workshop ; proceedings
Computer science logic : 24th international workshop ; proceedings
Computer science logic : 21st international workshop ; proceedings
Computer science logic : 19th international workshop ; proceedings
Computer science logic : 20th international workshop ; proceedings
Frontiers of combining systems : 8th international symposium ; proceedings
Logical aspects of computational linguistics : 5th international conference ; proceedings
Logic based program synthesis and transformation : 11th international workshop ; selected papers