Skolem Machines and Geometric Logic
From MaRDI portal
Publication:3525085
DOI10.1007/978-3-540-75292-9_14zbMath1147.68696OpenAlexW1595079318MaRDI QIDQ3525085
No author found.
Publication date: 17 September 2008
Published in: Theoretical Aspects of Computing – ICTAC 2007 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75292-9_14
Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)
Related Items
From informal to formal proofs in Euclidean geometry, Geometry constructions language, A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs, A Vernacular for Coherent Logic, Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
