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

F. L. Bauer

  1. Norms and exclusion theorems
    1960/12/01 by F. L. Bauer, Friedrich L. Bauer, C. T. Fike · 22 citations
    Computer Science · #Logic, Reasoning, and Knowledge #Computability, Logic, AI Algorithms