DMCA

A tutorial on Stålmarck's proof procedure for propositional logic (1998)

Cached

Download Links

by Mary Sheeran , Gunnar Stålmarck
Venue:Formal Methods in System Design
Citations:74 - 1 self