×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [class of logic]
Home >
class of logic
Temporal Logic of Actions (TLA) Leslie Lamport John A. Akinyemi Department of Computer Science University of Manitoba, Winnipeg, Canada Course: 74.757.
219 views