( en | de | ru )

 

Disambiguation of "Pelletier, Francis Jeffry"

Author of the publication

copydeleteadd this publication to your clipboard
Responses to Elkan (Francis Jeffry Pelletier).

. IEEE Expert, 9 (4): 29-31 (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Isabelle Pelletier

Jeffry Sheel

Caroline Pelletier

Jeffry Behrends

Klaus Pelletier

 

Other publications of authors with the same name

JGXYZ: An ATP System for Gap and Glut Logics., and . CADE, volume 11716 of Lecture Notes in Computer Science, page 526-537. Springer, (2019)The Philosophy of Automated Theorem Proving.. IJCAI, page 1039-1045. Morgan Kaufmann, (1991)Synonymous Logics: A Correction., and . J. Philosophical Logic, 37 (1): 95-100 (2008)Preface., , and . Logic: A History of its Central Concepts, volume 11 of Handbook of the History of Logic, Elsevier, (2012)Did Frege Believe Frege's Principle?. J. Log. Lang. Inf., 10 (1): 87-114 (2001)Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different., and . Stud Logica, 102 (6): 1103-1142 (2014)Seventy-Five Problems for Testing Automatic Theorem Provers.. J. Autom. Reason., 2 (2): 191-216 (1986)Errata: JAR 4(2): 235-236 (1988).Conclusions about the CADE-13 ATP System Competition., , and . J. Autom. Reason., 18 (2): 287-296 (1997)Issues of Mass and Count: Dealing with 'Dual-Life' Nouns., , , and . *SEM, page 189-198. Association for Computational Linguistics, (2017)K3, L3, LP, RM3, A3, FDE: How to Make Many-Valued Logics Work for You., and . CoRR, (2017)