MPG.eBooks - Search Results

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... Certified Polynomial-Based Decision Procedure for Propositional Logic -- Finite Set Theory in ACL2...”