![Model theory / Formal systems / Proof theory / Interpretation / Philosophy of mind / Theory / First-order logic / Axiom / Structure / Logic / Mathematical logic / Metalogic Model theory / Formal systems / Proof theory / Interpretation / Philosophy of mind / Theory / First-order logic / Axiom / Structure / Logic / Mathematical logic / Metalogic](https://www.pdfsearch.io/img/b3d305605884bd50e409518740abf42e.jpg)
| Document Date: 2006-11-30 07:15:58 Open Document File Size: 116,08 KBShare Result on Facebook
Company Computer Science Laboratory / / IndustryTerm clock synchronization algorithm / / Organization NASA Langley Research Center / / Person N. Shankar Funded / / / ProgrammingLanguage Extended ML / Standard ML / / Technology clock synchronization algorithm / /
SocialTag |