Home / Authors / Dominique Snyers, Andre Thayse

Books by Dominique Snyers, Andre Thayse

All books by this author

2 books found ← Back to Search
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)
🇺🇸 United States
From Logic Design to Logic Programming: Theorem Proving Tec…
By: Dominique Snyers, Andre Thayse
View Details
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)
🇺🇸 United States
From Logic Design to Logic Programming: Theorem Proving Tec…
By: Dominique Snyers, Andre Thayse
View Details