Back to Results
First PageMeta Content
Model theory / Predicate logic / Formal languages / Metalogic / Satisfiability Modulo Theories / Interpretation / Well-formed formula / Structure / Term / Logic / Mathematical logic / Mathematics


SMT Solvers: Theory and Implementation Summer School on Logic and Theorem Proving Leonardo de Moura Microsoft Research
Add to Reading List

Document Date: 2015-05-19 13:22:05


Open Document

File Size: 810,93 KB

Share Result on Facebook

Company

Microsoft Research Oregon / Intel / /

/

Organization

Theory and Implementation Summer School on Logic / /

Person

Beaver / /

Position

driver / /

ProvinceOrState

Oregon / /

Technology

Java / Simulation / /

URL

http /

SocialTag