A Fascinating Country in the World of Computing
From MaRDI portal
Publication:5444850
DOI10.1142/4132zbMath1132.68300OpenAlexW1790240185MaRDI QIDQ5444850
Publication date: 26 February 2008
Full work available at URL: https://doi.org/10.1142/4132
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) General topics in artificial intelligence (68T01)
Related Items (9)
Finding proofs in Tarskian geometry ⋮ Mathematical induction in Otter-lambda ⋮ Formalizing an analytic proof of the prime number theorem ⋮ Shortest axiomatizations of implicational S4 and S5 ⋮ Every diassociative A-loop is Moufang ⋮ AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920) ⋮ Larry Wos: visions of automated reasoning ⋮ Double-negation elimination in some propositional logics ⋮ Rectangular quasigroups and rectangular loops.
Uses Software
This page was built for publication: A Fascinating Country in the World of Computing
