A Fascinating Country in the World of Computing
From MaRDI portal
Recommendations
Cited in
(16)- The application of automated reasoning to questions in mathematics and logic
- Shortest axiomatizations of implicational S4 and S5
- Larry Wos: visions of automated reasoning
- Finding proofs in Tarskian geometry
- AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920)
- Formalizing an analytic proof of the prime number theorem
- Handbook of automated reasoning. In 2 vols
- Every diassociative A-loop is Moufang
- scientific article; zbMATH DE number 4104410 (Why is no real title available?)
- scientific article; zbMATH DE number 41806 (Why is no real title available?)
- scientific article; zbMATH DE number 1745890 (Why is no real title available?)
- Thinking programs. Logical modeling and reasoning about languages, data, computations, and executions
- The interaction of representation and reasoning
- Double-negation elimination in some propositional logics
- Rectangular quasigroups and rectangular loops.
- Mathematical induction in Otter-lambda
This page was built for publication: A Fascinating Country in the World of Computing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5444850)
