Search alternatives:
automatic theorem » automated theorem, automata theory
languages » language
Cover Image
Read Now

1
by Feijs, Loe M.G., Jonkers, Hans B.M., Middelburg, Cornelis A.
Published 1994
Springer London
Table of Contents: “... for Procedure Definitions -- 3.7 Axioms and Theorems -- 3.8 Assertions -- 3.9 Expressions -- 3.10 Concluding...”