Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(TPTP). Showing records 1 – 4 of 4 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Γριβοκωστοπούλου, Φωτεινή. Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων.

Degree: 2009, University of Patras

Τα «Συστήματα Αυτόματης Απόδειξης Θεωρημάτων-ΣΑΑΘ» (Automatic Theorem Proving Systems-ATP Systems) είναι συστήματα βασισμένα στη λογική πρώτης τάξεως, τα οποία μπορούν από ένα σύνολο λογικών προτάσεων… (more)

Subjects/Keywords: Αυτόματη απόδειξη θεωρημάτων; Βιβλιοθήκη TPTP; Στρατηγικές ελέγχου; 511.3; Automatic theorem proving; TPTP library; Control strategies

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Γριβοκωστοπούλου, . (2009). Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων. (Masters Thesis). University of Patras. Retrieved from http://nemertes.lis.upatras.gr/jspui/handle/10889/2703

Chicago Manual of Style (16th Edition):

Γριβοκωστοπούλου, Φωτεινή. “Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων.” 2009. Masters Thesis, University of Patras. Accessed June 16, 2019. http://nemertes.lis.upatras.gr/jspui/handle/10889/2703.

MLA Handbook (7th Edition):

Γριβοκωστοπούλου, Φωτεινή. “Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων.” 2009. Web. 16 Jun 2019.

Vancouver:

Γριβοκωστοπούλου . Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων. [Internet] [Masters thesis]. University of Patras; 2009. [cited 2019 Jun 16]. Available from: http://nemertes.lis.upatras.gr/jspui/handle/10889/2703.

Council of Science Editors:

Γριβοκωστοπούλου . Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων. [Masters Thesis]. University of Patras; 2009. Available from: http://nemertes.lis.upatras.gr/jspui/handle/10889/2703


University of Miami

2. Nassar, Muhammad. Automated Theorem Proving using the TPTP Process Instruction Language.

Degree: MS, Computer Science (Arts and Sciences), 2014, University of Miami

 The TPTP (Thousands of Problems forTheorem Provers) World is a well established infrastructure for Automated Theorem Proving (ATP). In the context of the TPTP World,… (more)

Subjects/Keywords: Automated Theorem Proving; The TPTP World; Logic; TPTP Process Instruction Language, ATP Process

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nassar, M. (2014). Automated Theorem Proving using the TPTP Process Instruction Language. (Thesis). University of Miami. Retrieved from https://scholarlyrepository.miami.edu/oa_theses/476

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Nassar, Muhammad. “Automated Theorem Proving using the TPTP Process Instruction Language.” 2014. Thesis, University of Miami. Accessed June 16, 2019. https://scholarlyrepository.miami.edu/oa_theses/476.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Nassar, Muhammad. “Automated Theorem Proving using the TPTP Process Instruction Language.” 2014. Web. 16 Jun 2019.

Vancouver:

Nassar M. Automated Theorem Proving using the TPTP Process Instruction Language. [Internet] [Thesis]. University of Miami; 2014. [cited 2019 Jun 16]. Available from: https://scholarlyrepository.miami.edu/oa_theses/476.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Nassar M. Automated Theorem Proving using the TPTP Process Instruction Language. [Thesis]. University of Miami; 2014. Available from: https://scholarlyrepository.miami.edu/oa_theses/476

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Miami

3. Arhami, Negin. Automated Theorem Proving by Translation to Description Logic.

Degree: PhD, Computer Science (Arts and Sciences), 2015, University of Miami

 Many Automated Theorem Proving (ATP) systems for different logical forms, and translators for translating different logical forms from one to another, have been developed and… (more)

Subjects/Keywords: Automated Theorem Proving; TPTP; Description Logic; Logic Translation; Conjunctive Normal Form (CNF)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Arhami, N. (2015). Automated Theorem Proving by Translation to Description Logic. (Doctoral Dissertation). University of Miami. Retrieved from https://scholarlyrepository.miami.edu/oa_dissertations/1564

Chicago Manual of Style (16th Edition):

Arhami, Negin. “Automated Theorem Proving by Translation to Description Logic.” 2015. Doctoral Dissertation, University of Miami. Accessed June 16, 2019. https://scholarlyrepository.miami.edu/oa_dissertations/1564.

MLA Handbook (7th Edition):

Arhami, Negin. “Automated Theorem Proving by Translation to Description Logic.” 2015. Web. 16 Jun 2019.

Vancouver:

Arhami N. Automated Theorem Proving by Translation to Description Logic. [Internet] [Doctoral dissertation]. University of Miami; 2015. [cited 2019 Jun 16]. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1564.

Council of Science Editors:

Arhami N. Automated Theorem Proving by Translation to Description Logic. [Doctoral Dissertation]. University of Miami; 2015. Available from: https://scholarlyrepository.miami.edu/oa_dissertations/1564

4. Gomis Vicens, Juan. Efecto de distintas especies reactivas generadas fotoquímicamente sobre la eliminación de contaminantes presentes en aguas naturales.

Degree: 2015, Universitat Politècnica de València

 [EN] In this Doctoral Thesis the reactivity of a group of emerging pollutants (EP) present in the output waters of urban treatment plants and the… (more)

Subjects/Keywords: Contaminantes emergentes; Tratamiento de aguas; Fotolisis; Foto-Fenton; Sustancias bio-orgánicas; SBO; Fotoestabilidad; Toxicidad; Laser flash fotólisis; Especies reactivas; Radical hidroxilo; Oxígeno singlete; Estados excitados; TPP; TPTP; Colorantes cationicos; Revalorización de residuos

…empleando trifenilpirilio (TPP ) y + trifeniltiopirilio (TPTP ) muestran que… …fotocatalizadores, obteniéndose unos resultados ligeramente superiores mediante el empleo del TPTP… …trifenilpirili (TPP ) i + trifeniltiopirili (TPTP ) mostren que la degradació dels… …obtenint uns resultats lleugerament superiors + mitjançant l'ús del TPTP . Els SBO són… …triphenylthiopyrylium + (TPTP ) showed that degradation of EP were produced through the excited… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gomis Vicens, J. (2015). Efecto de distintas especies reactivas generadas fotoquímicamente sobre la eliminación de contaminantes presentes en aguas naturales. (Doctoral Dissertation). Universitat Politècnica de València. Retrieved from http://hdl.handle.net/10251/51667

Chicago Manual of Style (16th Edition):

Gomis Vicens, Juan. “Efecto de distintas especies reactivas generadas fotoquímicamente sobre la eliminación de contaminantes presentes en aguas naturales. ” 2015. Doctoral Dissertation, Universitat Politècnica de València. Accessed June 16, 2019. http://hdl.handle.net/10251/51667.

MLA Handbook (7th Edition):

Gomis Vicens, Juan. “Efecto de distintas especies reactivas generadas fotoquímicamente sobre la eliminación de contaminantes presentes en aguas naturales. ” 2015. Web. 16 Jun 2019.

Vancouver:

Gomis Vicens J. Efecto de distintas especies reactivas generadas fotoquímicamente sobre la eliminación de contaminantes presentes en aguas naturales. [Internet] [Doctoral dissertation]. Universitat Politècnica de València; 2015. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/10251/51667.

Council of Science Editors:

Gomis Vicens J. Efecto de distintas especies reactivas generadas fotoquímicamente sobre la eliminación de contaminantes presentes en aguas naturales. [Doctoral Dissertation]. Universitat Politècnica de València; 2015. Available from: http://hdl.handle.net/10251/51667

.