Back to Results
First PageMeta Content
Metalogic / Propositional calculus / Mathematical logic / Entailment / Natural deduction / Symbol / Function / Well-formed formula / Logic / Deduction / Logical syntax


Document Date: 2008-10-29 09:10:25

Open Document

File Size: 489,09 KB

Share Result on Facebook

Company

CNF / /

Country

Poland / /

Currency

pence / /

Facility

SMT Solvers Michal Moskal University of Wroclaw / /

IndustryTerm

search strategies / machinery / external tool / them good tools / Subsequent proof search alternates / hardware verification applications / proof search / software verification / search procedure / /

Organization

SMT Solvers Michal Moskal University of Wroclaw / /

Person

P . Because / /

Position

mp / Moskal Proof rule Rewrite rule mp / proof assistant / head / /

Technology

PDA / /

SocialTag