Back to Results
First PageMeta Content
Modal logic / Philosophical logic / Logic in computer science / Non-classical logic / Philosophy of language / Accessibility relation / Epistemic modal logic / Propositional calculus / HOL / Logic / Mathematical logic / Mathematics


Lemma 1 Ltd. 2nd Floor 31A Chain St. Reading Berks RG1 2HX
Add to Reading List

Document Date: 2011-07-27 09:29:54

Open Document

File Size: 199,12 KB

Share Result on Facebook

Company

Changes Forecast Lemma 1 Ltd. / SRI International / Cambridge University Press / Lemma 1 Ltd. / HOL 4 9 PRACTICAL SYSTEMS / Needham / /

/

IndustryTerm

formal proof technology / communication protocols / proof tool / distributed computer systems / /

Organization

Cambridge University / Center for the Study of Language and Information / Formal Methods Unit / /

Person

Allan Ramsay / Johan van Benthem / George Boolos / Michael J.C. Gordon / /

/

Position

evaluator / /

ProgrammingLanguage

ML / Standard ML / /

Technology

formal proof technology / functional programming / RAM / communication protocols / artificial intelligence / /

SocialTag