Konferenzschrift | Kongress
Logic program synthesis and transformation : 7th international workshop ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540650744
3540650741
- Dimensions
-
24 cm
- Extent
-
X, 342 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1463
- Keyword
-
Logische Programmierung
Programmtransformation
Logische Programmierung
Programmschema
Logische Programmierung
Programmsynthese
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1998
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:06 PM CET
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
- Fuchs, Norbert E.
- LOPSTR (7 : 1997 : Löwen)
- Springer
Time of origin
- 1998
Other Objects (12)
Logic program synthesis and transformation : 6th international workshop ; proceedings
Logic program synthesis and transformation : 5th international workshop ; proceedings
Logic program synthesis and transformation, meta programming in logic : 4th international workshops, proceedings
Logic program synthesis and transformation : proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4 - 5 July 1991
Logic program synthesis and transformation : proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2 - 3 July 1992
Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7 - 9 July 1993
Logic based program synthesis and transformation : 8th international workshop ; selected papers
Logic based program synthesis and transformation : 10th international workshop ; selected papers
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 : 21st international symposium ; revised selected papers
Logic based program synthesis and transformation : 12th international workshop ; revised selected papers
Logic program synthesis and transformation : 6th international workshop ; proceedings
Logic program synthesis and transformation : 5th international workshop ; proceedings
Logic program synthesis and transformation, meta programming in logic : 4th international workshops, proceedings
Logic program synthesis and transformation : proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4 - 5 July 1991
Logic program synthesis and transformation : proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2 - 3 July 1992
Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7 - 9 July 1993
Logic based program synthesis and transformation : 8th international workshop ; selected papers
Logic based program synthesis and transformation : 10th international workshop ; selected papers
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 : 21st international symposium ; revised selected papers
Logic based program synthesis and transformation : 12th international workshop ; revised selected papers
Logic program synthesis and transformation : 6th international workshop ; proceedings
Logic program synthesis and transformation : 5th international workshop ; proceedings
Logic program synthesis and transformation, meta programming in logic : 4th international workshops, proceedings
Logic program synthesis and transformation : proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4 - 5 July 1991
Logic program synthesis and transformation : proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2 - 3 July 1992
Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7 - 9 July 1993
Logic based program synthesis and transformation : 8th international workshop ; selected papers
Logic based program synthesis and transformation : 10th international workshop ; selected papers
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 : 21st international symposium ; revised selected papers