Prolegomena to a theory of mechanized formal reasoning

1980/04/01 by Richard W. Weyhrauch · 3 citations
Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Logic, programming, and type systems

paper · doi:10.1016/0004-3702(80)90015-6

Cited by

• Towards Multi-Robot Task-Motion Planning for Navigation in Belief Space
• Planning with Dynamically Changing Domains
• An Adaptive Computational Network Model for Strange Loops in Political Evolution in Society [europepmc]