Back to Results
First PageMeta Content
Proof theory / Logical syntax / Mathematical logic / Nqthm / First-order logic / Proof assistant / Prototype Verification System / Natural deduction / Theorem / Logic / Mathematics / Automated theorem proving


PVS Prover Guide Version 2.4 • November 2001 N. Shankar S. Owre J. M. Rushby
Add to Reading List

Document Date: 2006-11-30 07:15:59

Open Document

File Size: 836,34 KB

Share Result on Facebook

Company

SRI International / com/ SRI International Computer Science Laboratory / Checkpoint / /

/

Facility

Checkpoint Handling / /

IndustryTerm

software system / machinery / /

OperatingSystem

Sequent / /

Organization

National Science Foundation / National Aeronautics and Space Administration / eta / /

Person

N. Shankar S. Owre / Forward Chaining / /

ProgrammingLanguage

Lisp / /

PublishedMedium

The PVS System Guide / /

URL

http /

SocialTag