Synthesis, transformation and analysis of logic programs

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Bossi, Annalisa (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Amsterdam u.a. North-Holland 1999
Schriftenreihe:The journal of logic programming Special issue 39.1999,1/3
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturangaben
Beschreibung:244 S
graph. Darst