Logic Program Synthesis and Transformation 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

Gespeichert in:
1. Verfasser:
Fuchs, Norbert E.
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg Imprint: Springer 1998
Springer-Verlag Berlin Heidelberg 1998
ISBN:
9783540496748
ISSN:
0302-9743
Schlagworte:
Logische Programmierung
Programmtransformation
Programmschema
Programmsynthese
Automatisches Beweisverfahren
Computer science
Logic design
Artificial intelligence
Bezugswerke:
Links: