Sign In
Sign Up
-
/
5
0 votes
Share
From logic design to logic programming
Status
Rate
Check Later
Details
First publish year
1987
Product Links
Good Reads
Authors
Dominique Snyers
Subjects
Automatisches Beweisverfahren
Structure Logique
Automatic Theorem Proving
Programmation Déclarative
Formale Semantik
Programmation En Logique
Sémantique
Programmation Logique
Démonstration Théorème
Computer Algorithms
Reviews (0)
see more
Seems like you haven't provided a review
Don't miss the opportunity to
share your thoughts
!
Similar Books
see more
Similar Movies
see more
Similar TV Series
see more
Similar Games
see more