Monografie
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
- Sprache
-
Englisch
- Umfang
-
VIII, 184 S.
- ISBN
-
978-3-642-00514-5
- Identifier
-
992498643
- Reihe
-
Lecture notes in computer science; 5438
Thema
Programmsynthese ; Logische Programmierung ; Programmtransformation ; Softwareentwicklung ; Komponente ; Testmustergenerierung ; Constraint-logische Programmierung ; Funktionale Programmierung ; Konferenzschrift Valencia; Kongress Valencia <2008>
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:38 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Functional and constraint logic programming : 18th international workshop ; revised selected papers
Functional and constraint logic programming : 19th international workshop ; revised selected papers
Functional and constraint logic programming : 20th international workshop ; proceedings
Logic based program synthesis and transformation : 17th international symposium ; revised selected papers
Declarative programming for knowledge management : revised selected papers
Applications of declarative programming and knowledge management : 17th international conference ; revised selected papers
Functional and logic programming : 10th international symposium ; proceedings
Logic based program synthesis and transformation : 9th international workshop ; selected papers
Applications of declarative programming and knowledge management : 18th international conference ; revised selected papers
Functional and logic programming : 5th international symposium ; proceedings
Functional and logic programming : 9th international symposium ; proceedings
Functional and logic programming : 11th international symposium ; proceedings
Functional and constraint logic programming : 18th international workshop ; revised selected papers
Functional and constraint logic programming : 19th international workshop ; revised selected papers
Functional and constraint logic programming : 20th international workshop ; proceedings
Logic based program synthesis and transformation : 17th international symposium ; revised selected papers
Declarative programming for knowledge management : revised selected papers
Applications of declarative programming and knowledge management : 17th international conference ; revised selected papers
Functional and logic programming : 10th international symposium ; proceedings
Logic based program synthesis and transformation : 9th international workshop ; selected papers
Applications of declarative programming and knowledge management : 18th international conference ; revised selected papers
Functional and logic programming : 5th international symposium ; proceedings
Functional and logic programming : 9th international symposium ; proceedings
Functional and logic programming : 11th international symposium ; proceedings
Functional and constraint logic programming : 18th international workshop ; revised selected papers
Functional and constraint logic programming : 19th international workshop ; revised selected papers
Functional and constraint logic programming : 20th international workshop ; proceedings
Logic based program synthesis and transformation : 17th international symposium ; revised selected papers
Declarative programming for knowledge management : revised selected papers
Applications of declarative programming and knowledge management : 17th international conference ; revised selected papers
Functional and logic programming : 10th international symposium ; proceedings
Logic based program synthesis and transformation : 9th international workshop ; selected papers
Applications of declarative programming and knowledge management : 18th international conference ; revised selected papers
Functional and logic programming : 5th international symposium ; proceedings
Functional and logic programming : 9th international symposium ; proceedings