Back to Results
First PageMeta Content
Proof theory / Logical syntax / Logical consequence / Metalogic / Lambda calculus / Sequent / Theorem / Model theory / Proof calculus / Logic / Mathematics / Science


The IMPS User’s Manual First Edition, Version 2 William M. Farmer Joshua D. Guttman F. Javier Thayer The MITRE Corporation
Add to Reading List

Document Date: 2012-03-27 15:38:49

Open Document

File Size: 844,75 KB

Share Result on Facebook

Country

United States / /

/

Facility

The Initial Theory Library / Building Macetes / Building Theory Interpretations / Theory Library / /

IndustryTerm

def-algebraic-processor / def-order-processor / /

Organization

Induction Command / /

/

Position

Script Interpreter / farmer / /

ProvinceOrState

Massachusetts / /

Technology

13.4 Algebraic Processors / Linearization Algorithm / /

SocialTag