Pages that link to "Item:Q2841241"
From MaRDI portal
The following pages link to A proof-planning framework with explicit abstractions based on indexed formulas (Q2841241):
Displaying 1 item.
The following pages link to A proof-planning framework with explicit abstractions based on indexed formulas (Q2841241):
Displaying 1 item.