An edition of From logic design to logic programming
(1987)
From logic design to logic programming
theorem proving techniques and P-functions
by Dominique Snyers
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
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| Edition | Availability |
|---|---|
1
From logic design to logic programming: theorem proving techniques and P-functions
1987, Springer-Verlag
in English
0387182179 9780387182179
|
aaaa
|
2
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
Aug 12, 1987, Springer
paperback
3540182179 9783540182177
|
zzzz
|
Book Details
Edition Notes
Classifications
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| June 30, 2019 | Edited by MARC Bot | import existing book |
| March 10, 2019 | Edited by ImportBot | import existing book |
| January 27, 2010 | Edited by WorkBot | add more information to works |
| December 11, 2009 | Created by WorkBot | add works page |