Suggested Topics within your search.
Suggested Topics within your search.
1
Published 2013
Table of Contents: ';
“... Higher Order Proof Assistant -- Constructing Bachmair-Ganzinger Models -- Planning with Effectively...”Get full text
Electronic
2
Published 2013
Table of Contents: ';
“... -- The Proof Assistant as an Integrated Development Environment -- Sorting and Searching by Distribution: From...”View fulltext via EzAccess
Electronic