Title: From logic design to logic programming
First published: 1987
Subjects: Logic programming, Algorithms, Automatic theorem proving, Logischer Entwurf, Théorèmes, Conception logique, Grammaire algébrique, Logisch programmeren, Démonstration théorème, Programmierlogik, Algorithmes, Structure logique, Formale Semantik, Fonction P., Programmation logique, Programmation déclarative, Logique mathématique, Computer algorithms, Démonstration automatique, Automatisches Beweisverfahren, Programmation en logique, Sémantique
LC classification: QA76.9.A96