Pages that link to "Item:Q2493750"
From MaRDI portal
The following pages link to A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG (Q2493750):
Displaying 1 item.
The following pages link to A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG (Q2493750):
Displaying 1 item.