Sorry, we don't have a book recommendation for this topic.
Would you like to add one?
Would you like to suggest a new subdiscipline under this field? Please click here <==
Would you like to suggest a new book for this field? Please type the title, author or keywords here to find it:
Related to Logic programming
- Formal methods (Formal verification)
- Logic programming
- Multi-valued logic
- Programming language semantics
- Type theory
Useful links for you:
Support If you found this website useful consider making a donation to support this project. Bitcoin (BTC):