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 edition 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
Aug 12, 1987, Springer
paperback
3540182179 9783540182177
|
zzzz
|
2
From logic design to logic programming: theorem proving techniques and P-functions
1987, Springer-Verlag
in English
0387182179 9780387182179
|
aaaa
|
Book Details
Edition Notes
Classifications
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
History
- Created November 1, 2008
- 9 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| March 28, 2025 | Edited by ImportBot | Redacting ocaids |
| January 23, 2025 | Edited by MARC Bot | import existing book |
| July 21, 2024 | Edited by MARC Bot | import existing book |
| November 6, 2020 | Edited by MARC Bot | import existing book |
| November 1, 2008 | Created by ImportBot | Imported from Talis record |