Pages that link to "Item:Q5444850"
From MaRDI portal
The following pages link to A Fascinating Country in the World of Computing (Q5444850):
Displaying 9 items.
- Double-negation elimination in some propositional logics (Q813082) (← links)
- Rectangular quasigroups and rectangular loops. (Q814030) (← links)
- Mathematical induction in Otter-lambda (Q861715) (← links)
- Shortest axiomatizations of implicational S4 and S5 (Q1430904) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Finding proofs in Tarskian geometry (Q2362499) (← links)
- AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920) (Q2481250) (← links)
- Formalizing an analytic proof of the prime number theorem (Q2655322) (← links)
- Every diassociative A-loop is Moufang (Q2759004) (← links)
