Advances in logic programming theory

Advances in logic programming theory

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Levi, Giorgio (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Oxford Clarendon Press 1994
Schriftenreihe:International schools for computer scientists
Schlagworte:
Gödel > PROLOG > Programmation logique > Prolog (langage de programmation) > concurrence > négation > preuve > programmation avec contrainte > programmation en logique > Logic programming > Logische Programmierung > Aufsatzsammlung
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XIV, 254 S.
graph. Darst.
ISBN:0198538537
0-19-853853-7