1960/12/01 by F. L. Bauer, Friedrich L. Bauer, C. T. Fike · 18 citationsComputer Science · #Logic, Reasoning, and Knowledge #Computability, Logic, AI Algorithms
paper · doi:10.1007/bf01386217