Monografie
Logic based program synthesis and transformation : 13th international workshop ; revised selected papers
- Sprache
-
Englisch
- Umfang
-
X, 232 S.
- ISBN
-
978-3-540-22174-6
- Identifier
-
971262942
- Reihe
-
Lecture notes in computer science; Vol. 3018
Thema
Programmsynthese ; Logische Programmierung ; Programmtransformation ; Computational logic ; Konferenzschrift Uppsala; Kongress Uppsala <2003>
Beteiligte Personen und Organisationen
Bruynooghe, Maurice
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:32 MESZ
Objekttyp
- Monografie
Beteiligte
- Bruynooghe, Maurice
Ähnliche Objekte (12)
Logic based program synthesis and transformation : 11th international workshop ; selected papers
Logic based program synthesis and transformation : 10th international workshop ; selected papers
Computer science logic : 23rd international workshop ; proceedings
Computer science logic : 22nd international workshop ; proceedings
Computer science logic : 24th international workshop ; proceedings
Program development in computational logic : a decade of research advances in logic based program development
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
Computer science logic : 21st international workshop ; proceedings
Recent advances in constraints : revised selected and invited papers
Computer science logic : 19th international workshop ; proceedings
Computer science logic : 20th international workshop ; proceedings
Logic based program synthesis and transformation : 9th international workshop ; selected papers
Logic based program synthesis and transformation : 11th international workshop ; selected papers
Logic based program synthesis and transformation : 10th international workshop ; selected papers
Computer science logic : 23rd international workshop ; proceedings
Computer science logic : 22nd international workshop ; proceedings
Computer science logic : 24th international workshop ; proceedings
Program development in computational logic : a decade of research advances in logic based program development
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
Computer science logic : 21st international workshop ; proceedings
Recent advances in constraints : revised selected and invited papers
Computer science logic : 19th international workshop ; proceedings
Computer science logic : 20th international workshop ; proceedings
Logic based program synthesis and transformation : 9th international workshop ; selected papers
Logic based program synthesis and transformation : 11th international workshop ; selected papers
Logic based program synthesis and transformation : 10th international workshop ; selected papers
Computer science logic : 23rd international workshop ; proceedings
Computer science logic : 22nd international workshop ; proceedings
Computer science logic : 24th international workshop ; proceedings
Program development in computational logic : a decade of research advances in logic based program development
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
Computer science logic : 21st international workshop ; proceedings
Recent advances in constraints : revised selected and invited papers
Computer science logic : 19th international workshop ; proceedings
Computer science logic : 20th international workshop ; proceedings