Back to Results
First PageMeta Content
Universal quantification / Temporal logic of actions / Expected value / Logic / Mathematics / Mathematical logic / Function


Document Date: 2007-10-21 18:30:11

Open Document

File Size: 121,37 KB

Share Result on Facebook

Company

Digital Equipment Corporation / /

Holiday

Assumption / /

Organization

Systems Research Center / /

Person

Leslie Lamport / Abadi Lamport / /

Technology

3G / /

URL

http /

SocialTag