Back to Results
First PageMeta Content
Formal methods / Logical syntax / Formal languages / Metamath / Set theory / Automated proof checking / Axiom / Automated theorem proving / First-order logic / Logic / Mathematics / Mathematical logic


Document Date: 2013-09-22 22:46:06

Open Document

File Size: 1,39 MB

Share Result on Facebook

City

Reading / /

Company

Computer Algebra Systems / Other Formal Systems / Metamath / /

/

IndustryTerm

set search limit / /

MarketIndex

CONTENTS / /

Person

Norman Megill / /

Position

Non-Specialist / Mathematician / /

ProgrammingLanguage

Mathematica / LATEX / Prolog / HTML / Pascal / /

Technology

Command Line Interface / Operating System / HTML / /

URL

http /

SocialTag