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
|
aaaa
|
2
From logic design to logic programming: theorem proving techniques and P-functions
1987, Springer-Verlag
in English
0387182179 9780387182179
|
zzzz
|
Book Details
Edition Notes
Source title: From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science (271))
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created May 5, 2020
- 3 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| February 3, 2024 | Edited by ImportBot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| May 5, 2020 | Created by ImportBot | Imported from amazon.com record |