Cover Image
Read Now

1
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...An Introduction to Dependent Type Theory -- Monads and Effects -- Abstract Machines, Control...”
Cover Image
Read Now

2
by Beth, E.W., Piaget, J.
Published 1974
Springer Netherlands
Table of Contents: “... Procedures -- V. Intuitive Structures and Formalised Mathematics -- VI. “Thinking Machines” and Mathematical...”
Cover Image
Read Now

3
Published 1993
Springer Netherlands
Table of Contents: “... Knowledge Bases -- 16.Providing Machine Tractable Dictionary Tools -- Name Index...”