Monografie
Computer science logic : 23rd international workshop ; proceedings
- Sprache
-
Englisch
- Umfang
-
XI, 565 S.
- ISBN
-
978-3-642-04026-9
- Identifier
-
995654824
- Reihe
-
Lecture notes in computer science; Vol. 5771
Thema
Theoretische Informatik ; Logik ; Computational logic ; Logische Programmierung ; Programmierlogik ; Konferenzschrift Coimbra; Kongress Coimbra <2009>
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:25 MESZ
Objekttyp
- Monografie
Beteiligte
- Grädel, Erich
- European Association for Computer Science Logic
Ähnliche Objekte (12)
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
Logical foundations of computer science : international symposium ; proceedings
Logical foundations of computer science : international symposium ; proceedings
Logical foundations of computer science : international symposium ; proceedings
Logic, language, information and computation : 20th international workshop ; proceedings
Logic, language, information and computation : 21st international workshop ; proceedings
Frontiers of combining systems : 8th international symposium ; proceedings
Logic based program synthesis and transformation : 11th international workshop ; selected papers
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
Logical foundations of computer science : international symposium ; proceedings
Logical foundations of computer science : international symposium ; proceedings
Logical foundations of computer science : international symposium ; proceedings
Logic, language, information and computation : 20th international workshop ; proceedings
Logic, language, information and computation : 21st international workshop ; proceedings
Frontiers of combining systems : 8th international symposium ; proceedings
Logic based program synthesis and transformation : 11th international workshop ; selected papers
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
Logical foundations of computer science : international symposium ; proceedings
Logical foundations of computer science : international symposium ; proceedings
Logical foundations of computer science : international symposium ; proceedings
Logic, language, information and computation : 20th international workshop ; proceedings
Logic, language, information and computation : 21st international workshop ; proceedings
Frontiers of combining systems : 8th international symposium ; proceedings