Back to Results
First PageMeta Content
Logic in computer science / Formal methods / Theoretical computer science / Algorithms / Hindley–Milner / Type theory / HOL / ALGOL 68 / Natural deduction / Logic / Mathematics / Programming language theory


HOL Formalised: Deductive System R.D. Arthan Lemma 1 Ltd. [removed] 25 October 1993
Add to Reading List

Document Date: 2006-02-14 05:58:39

Open Document

File Size: 197,24 KB

Share Result on Facebook

Company

SRI International / Lemma 1 Ltd. / R.D. Arthan Lemma 1 Ltd. / /

/

Holiday

Assumption / /

IndustryTerm

natural deduction systems / deductive systems / /

Organization

ETA / /

Position

MP / /

ProgrammingLanguage

BETA / /

URL

http /

SocialTag