Pages that link to "Item:Q1294673"
From MaRDI portal
The following pages link to Logic programming and automated reasoning. International conference, LPAR `92, St. Peterburg, Russia, July 15--20, 1992. Proceedings (Q1294673):
Displaying 3 items.
- Limited resource strategy in resolution theorem proving (Q1404979) (← links)
- Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6--10, 2000. Proceedings (Q1589868) (← links)
- Perfect Discrimination Graphs: Indexing Terms with Integer Exponents (Q5747777) (← links)