Skip to content
Vinony

Rippling

by Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

Cover of Rippling

No description available.

Automatic theorem provingLogic, symbolic and mathematicalSymbolic and mathematical Logic
Rippling by Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland — book · Vinony