QUINE(ID:6776/qui015)
A Scratchpad for Truth-functional Logic (after the Logician)
Related languages
References:
Boggia-Togna, Gianfranco "A Scratchpad for Truth-functional Logic" Computer Language Magazine 8(12) December, 1991
view details
Resources - Online copy at SAC
|