Pages that link to "Item:Q4559535"
From MaRDI portal
The following pages link to Computational logic: its origins and applications (Q4559535):
Displayed 5 items.
- A modular first formalisation of combinatorial design theory (Q2128787) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started (Q2657827) (← links)
- Formalising Mathematics in Simple Type Theory (Q6075439) (← links)
- Formalising basic topology for computational logic in simple type theory (Q6159367) (← links)