TPTP - PDFSEARCH.IO - Document Search Engine

TPTP
Results: 35

#	Item
11	CS6795 Semantic Web Techniques Project Report XSLT 2.0 Translation of Datalog+ RuleML 1.01/XML to a Subset of the TPTP Language Add to Reading List Source URL: edmonl.github.io Language: English - Date: 2015-01-15 23:02:52
12	Using the TPTP Language for Representing Derivations in Tableau and Connection Calculi Geoff Sutcliffe Department of Computer Science University of Miami, USA Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2011-06-07 13:44:55
13	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Logic Linguistics Philosophical logic Symbol Mixing Interpretation
14	Num. Title Advanced BIRT Report 363 Customization Add to Reading List Source URL: www.eclipsecon.org Language: English - Date: 2015-03-18 11:17:16 Java platform Standards organizations OSGi TPTP BIRT Project Equinox Plug-in Jetty Software Computing Eclipse
15	® ID Card Printer TPTP-9200 Card Printer for Identification Card, Membership Card, Certificate Card, Add to Reading List Source URL: pdiscan.com Language: English - Date: 2015-02-03 12:53:29 ISO standards Computer printers Humanâ€“computer interaction ID card printer Identification Card printer Smart card Contactless smart card Business card Technology Ubiquitous computing Printing
16	The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations? David Delahaye1 , Catherine Dubois2 , Claude Marché3 , and David Mentré4 (for the BWare project consortium?? ) 1 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 10:57:11 Formal methods Automated theorem proving Logic in computer science Proof assistant Coq Mathematical proof TPTP KeY Formal verification Theoretical computer science Mathematics Mathematical software
17	® ID Card Printer TPTP-9200 Card Printer for Identification Card, Membership Card, Certificate Card, Add to Reading List Source URL: www.pdiscan.com Language: English - Date: 2014-08-12 08:49:17 ISO standards Computer printers Humanâ€“computer interaction ID card printer Identification Card printer Smart card Contactless smart card Business card Technology Ubiquitous computing Printing
18	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Logic Linguistics Philosophical logic Symbol Mixing Interpretation
19	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Type theory Formal methods Model theory Functional programming Data types Symbol Satisfiability Modulo Theories Hindley–Milner Geoff Sutcliffe Theoretical computer science Mathematics Mathematical logic
20	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Type theory Formal methods Model theory Functional programming Data types Symbol Satisfiability Modulo Theories Hindley–Milner Geoff Sutcliffe Theoretical computer science Mathematics Mathematical logic