An edition of Foundations of Disjunctive Logic Programming (1992)
By Jorge Lobo
Publish Date
1992
Publisher
MIT Press
Language
eng
Pages
307
Description:
subjects: Logic programming (Computer science), Logic programming, Théorie démonstration, Négation, Programmation logique, Adjunktion, Programmation déclarative, Adjunktion (Logik), Logique disjonctive, Base donnée déductive, Programmation en logique, Logische Programmierung, Computer programs