The following pages link to Logic for computer scientists (Q5905500):
Displaying 11 items.
- Invariant-free clausal temporal resolution (Q352974) (← links)
- Proof theory and automated deduction (Q1379289) (← links)
- Hybrid-logical reasoning in the Smarties and Sally-Anne tasks (Q2258816) (← links)
- Handbook of logic and proof techniques for computer science (Q2771587) (← links)
- (Q3125203) (← links)
- (Q3571949) (← links)
- Computing and logic. Mathematics and language (Q3994821) (← links)
- Logics for Computer Science (Q4561681) (← links)
- (Q4729779) (← links)
- (Q4840188) (← links)
- (Q6060676) (← links)