scientific article; zbMATH DE number 5064390
From MaRDI portal
Publication:5493742
zbMath1107.03005MaRDI QIDQ5493742
Konstantine Arkoudas, Selmer Bringsjord
Publication date: 16 October 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10)
Related Items (3)
Challenging epistemology: Interactive proofs and zero knowledge ⋮ The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself ⋮ Is Universal Computation a Myth?
This page was built for publication:
