Pages that link to "Item:Q4559535"
From MaRDI portal
The following pages link to Computational logic: its origins and applications (Q4559535):
Displaying 9 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)
- On the unusual effectiveness of logic in computer science (Q2736585) (← links)
- Connecting logical representations and efficient computations (Q2852045) (← links)
- (Q4263952) (← links)
- (Q4585824) (← links)
- (Q4707780) (← links)
- Formalising basic topology for computational logic in simple type theory (Q6159367) (← links)