Pages that link to "Item:Q383830"
From MaRDI portal
The following pages link to Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14--19, 2013. Proceedings (Q383830):
Displaying 4 items.
- Logic programming and automated reasoning. International conference, LPAR `92, St. Peterburg, Russia, July 15--20, 1992. Proceedings (Q1294673) (← links)
- From LTL to unambiguous Büchi automata via disambiguation of alternating automata (Q2147688) (← links)
- Automating free logic in HOL, with an experimental application in category theory (Q2303232) (← links)
- GRUNGE: a grand unified ATP challenge (Q2305410) (← links)