Skip to content
Vinony

Temporal logic

by Dov M. Gabbay

Cover of Temporal logic

No description available.

Computer programmingSymbolic and mathematical LogicLogic, symbolic and mathematical
Temporal logic by Dov M. Gabbay — book · Vinony