Pages that link to "Item:Q1311969"
From MaRDI portal
The following pages link to A complete modal proof system for HAL: the Herbrand agent language (Q1311969):
Displayed 1 item.
- HAL (Q16774) (← links)
The following pages link to A complete modal proof system for HAL: the Herbrand agent language (Q1311969):
Displayed 1 item.