vix.ing · top · new · best · stats · spec

Richard W. Weyhrauch

  1. 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