Back to Results
First PageMeta Content
Automated theorem proving / Logical syntax / Formal systems / Logical truth / Proof theory / Proof assistant / Theorem / Mathematical proof / KeY / Logic / Theoretical computer science / Mathematics


Ours is to reason why Cliff B. Jones, Leo Freitas, Andrius Velykis School of Computing Science, Newcastle University {cliff.jones, leo.freitas, andrius.velykis}@ncl.ac.uk Abstract. It is now widely understood how to wri
Add to Reading List

Document Date: 2014-04-07 06:29:39

Open Document

File Size: 519,39 KB

Share Result on Facebook

Country

United Kingdom / /

/

Facility

Newcastle University / /

IndustryTerm

theorem proving systems / theorem proving tools / typical industrial applications / software systems / control systems / /

Movie

The Charge of the Light Brigade / /

OperatingSystem

Sequent / /

Organization

Light Brigade / Andrius Velykis School of Computing Science / European Union / Newcastle University / /

Person

Matthias Schmalz / Leo Freitas / Cliff B. Jones / /

Position

author / designer / second author / engineer / /

Technology

design verification / artificial intelligence / /

SocialTag