Skip to content

Home Practice Lessons About

Roberto Sebastiani

Books

Automated Reasoning
Theory And Applications Of Satisfiability Testing Sat 2012 15th International Conference Trento Italy June 1720 2012 Proceedings
Frontiers of Combining Systems

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.