The following pages link to (Q3490992):
Displaying 6 items.
- A case study in automated theorem proving: Finding sages in combinatory logic (Q1098333) (← links)
- Resolving contradictions: A plausible semantics for inconsistent systems (Q1332637) (← links)
- Reasoning Support for Casl with Automated Theorem Proving Systems (Q3591069) (← links)
- (Q5186757) (← links)
- A Survey of Annotated Logics (Q5213771) (← links)
- (Q5869518) (← links)