Publication:3819038
zbMath0667.03004MaRDI QIDQ3819038
Publication date: 1987
algorithms; choice; inverse method; economics; proof search; Minsky machines; science; deducibility; modelling of biological evolution; Post systems; humanities; deductive information; probabilistic calculi
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B35: Mechanization of proofs and logical operations
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
91B14: Social choice
92B05: General biology and biomathematics
03D03: Thue and Post systems, etc.
03Bxx: General logic
Related Items