Back to Results
First PageMeta Content
Automated theorem proving / Formal methods / E theorem prover / Vampire / CADE ATP System Competition / Logic in computer science / Geoff Sutcliffe / Automated reasoning / CASC / Logic / Mathematics / Mathematical logic


Document Date: 2008-07-17 03:24:03

Open Document

File Size: 2,66 MB

Share Result on Facebook

City

CASC / Sydney / Paris / /

Company

Dell / Argonne National Laboratory / CNF / Hewlett-Packard / Joe Hurd Galois Inc. / Articulate Software / Articulate Sofware / System Requirements System Properties Systems / Intel / /

Country

Australia / /

Currency

USD / /

Event

Force Majeure / /

Facility

The University of Iowa / Charles University / University of Manchester / CNF EPR UEQ LTB∗ Tanel Tammet Tallinn University / FOF CNF UEQ Koen Claessen Chalmers University of Technology FNT SAT / Chapel Hill FOF CNF UEQ CASC / Chalmers University of Technology FOF FNT CNF / University of North Carolina / University of Potsdam LTB∗ Krystof Hoder Charles University / FNT∗ SAT EPR Koen Claessen Chalmers University of Technology FOF∗ LTB∗ Jens Otten / FOF∗ CNF EPR UEQ LTB∗ Andrei Voronkov University of Manchester UEQ CASC / Manchester LTB∗ Josef Urban Charles University / Geoff Sutcliffe University of Miami / University Koblenz-Landau / /

IndustryTerm

search strategies / search control / proof/model classes representative sample solutions / find solutions / ranking systems / sample solutions / Demonstration division systems / /

OperatingSystem

UNIX / Linux / Hurd / /

Organization

Charles University in Prague / FOF CNF UEQ Koen Claessen Chalmers University of Technology FNT / Clarkson University / University of Manchester LTB∗ Josef Urban Charles University / University of North Carolina / University of Miami / Tallinn University / Chalmers University of Technology FOF FNT CNF / Chalmers University of Technology / The University of Iowa / Department of Computer Science / University of Manchester / Carnegie Mellon University / Potsdam LTB∗ Krystof Hoder Charles University / /

Person

Alexander Fuchs / Thomas Raths / Eric McGregor / Stephan Schulz Technische Universit / John Slaney / Christopher Lynch / Peter Baumgartner / Alessandro Armando / William McCune / Christoph Benzm¨uller / Dominique Pastre Universit / Damien Doligez / David Plaisted / Cesare Tinelli / Geoff Sutcliffe / Konstantin Korovin / Ann Lilliestr¨om / /

Position

representative / /

Product

RAM / /

ProgrammingLanguage

HTML / /

ProvinceOrState

North Carolina / Iowa / /

Technology

RAM / UNIX / Linux / operating system / HTML / /

URL

http /

SocialTag