Font Size: a A A
Keyword [mathematical logic]
Result: 1 - 3 | Page: 1 of 1
1. A Logical Characterization Of AI Planning
2. Research On Automatic Scoring System Of Formal Deduction Proofs In Mathematical Logic
3. 'Microscopic cybernetics': Mathematical logic, automata theory, and the formalization of biological phenomena, 1936--1970
  <<First  <Prev  Next>  Last>>  Jump to