Konferenzschrift | Kongress
Logic program synthesis and transformation : 5th international workshop ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540609391
3540609393
- Dimensions
-
25 cm
- Extent
-
X, 266 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1048
- Keyword
-
Logische Programmierung
Metaprogrammierung
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1996
- 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.06.2025, 1:46 PM CEST
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
- Proietti, Maurizio
- LOPSTR (5 : 1995 : Utrecht)
- Springer
Time of origin
- 1996
Other Objects (12)
Logic program synthesis and transformation : 7th international workshop ; proceedings
Logic program synthesis and transformation : 6th 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 : 7th international workshop ; proceedings
Logic program synthesis and transformation : 6th 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 : 7th international workshop ; proceedings
Logic program synthesis and transformation : 6th 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