Logic program synthesis and transformation 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10 - 12, 1997 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a.
Springer
1998
|
| Schriftenreihe: | Lecture notes in computer science
1463 |
| Schlagworte: |
Logica matematica
> Programacao de computadores
> Programmation logique - Congrès
> analyse programme
> logique inductive
> métaprogrammation
> programmation en logique
> transformation programme
> Logic programming -- Congresses
> Programmtransformation
> Metaprogrammierung
> Logische Programmierung
> Automatisches Beweisverfahren
> Programmschema
> Programmsynthese
> Konferenzschrift
|
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | X, 342 S. |
|---|---|
| ISBN: | 3540650741 3-540-65074-1 |