Back to Results
First PageMeta Content
Automated theorem proving / Logic in computer science / Formal methods / Mathematical logic / Axiom / Automated reasoning / SPASS / Geoff Sutcliffe / Mathematical proof / Mathematics / Theoretical computer science / Mathematical software


SPASS-XDB goes Mathematical David Stanovsk´ y1 , Martin Suda2 , and Geoff Sutcliffe3
Add to Reading List

Document Date: 2011-01-12 07:27:42

Open Document

File Size: 277,90 KB

Share Result on Facebook

City

Informatik / /

Company

CNF / Intel / /

Country

Germany / /

Currency

pence / /

Facility

Charles University / TPTP Problem Library / University of Miami / /

IndustryTerm

$uminus $sum $difference $product / web search / computational systems / irrational solutions / online databases / saturation algorithm / web services / /

OperatingSystem

Linux / /

Organization

Charles University in Prague / Czech Republic Max-Planck-Institut f¨ / University of Miami / /

Person

Alan Turing / /

Position

S2M2S mediator / corresponding mediator / editor / mediator / /

ProgrammingLanguage

Mathematica / SQL / XML / Prolog / /

Technology

XML / saturation algorithm / html / Linux / /

URL

http /

SocialTag