Home / Authors / Dominique Snyers, Andre Thayse

Books by Dominique Snyers, Andre Thayse

All books by this author

2 books found
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)
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)
From Logic Design to Logic Programming: Theorem Proving Tec…
By: Dominique Snyers, Andre Thayse
View Details