Pages that link to "Item:Q4647525"
From MaRDI portal
The following pages link to XRay: A prolog technology theorem prover for default reasoning: A system description (Q4647525):
Displaying 1 item.
The following pages link to XRay: A prolog technology theorem prover for default reasoning: A system description (Q4647525):
Displaying 1 item.