Back to Results
First PageMeta Content



Logtk: A Logic ToolKit for Automated Reasoning and its Implementation Simon Cruanes ´ Ecole polytechnique and INRIA, 23 Avenue d’Italie, 75013 Paris, France
Add to Reading List

Document Date: 2014-07-23 17:56:57

Open Document

File Size: 246,48 KB

Share Result on Facebook

City

Paris / /

Country

France / /

OperatingSystem

BSD / /

Organization

INRIA / Ecole polytechnique / /

Person

Simon Cruanes / Simon Cruanes Logtk / /

Technology

3 Algorithms / /