Application of automated deduction to the search for single axioms for exponent groups

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0013055 ◽

2005 ◽

pp. 131-136 ◽

Author(s):

William McCune ◽

Larry Wos

Keyword(s):

Automated Deduction ◽

Download Full-text

Application of Automated Deduction to the Search for Single Axioms for Exponent Groups

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions ◽

10.1142/9789812813411_0054 ◽

2010 ◽

pp. 1211-1217

Author(s):

William McCune ◽

Larry Wos

Keyword(s):

Automated Deduction ◽

Download Full-text

Special relations in automated deduction

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0015767 ◽

2005 ◽

pp. 413-423

Author(s):

Zohar Manna ◽

Richard Waldinger

Keyword(s):

Automated Deduction ◽

Special Relations

Download Full-text

THE 27TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION (C-27) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Natal, Brazil August 23–30, 2019

Bulletin of Symbolic Logic ◽

10.1017/bsl.2020.10 ◽

2020 ◽

Vol 26 (1) ◽

pp. 96-96

Keyword(s):

Automated Deduction ◽

Symbolic Logic ◽

International Conference

Download Full-text

Automated Deduction in Gödel Logic

ACM Transactions on Computational Logic ◽

10.1145/3218817 ◽

2018 ◽

Vol 19 (3) ◽

pp. 1-28

Author(s):

Dušan Guller

Keyword(s):

Automated Deduction ◽

Download Full-text

Automated deduction of cross-organizational collaborative business processes

Information Sciences ◽

10.1016/j.ins.2018.03.041 ◽

2018 ◽

Vol 453 ◽

pp. 30-49 ◽

Author(s):

Aurelie Montarnal ◽

Wenxin Mu ◽

Frederick Benaben ◽

Jacques Lamothe ◽

Matthieu Lauras ◽

...

Keyword(s):

Business Processes ◽

Automated Deduction

Download Full-text

Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants

International Journal of Intelligent Systems ◽

10.1002/int.10069 ◽

2002 ◽

Vol 17 (9) ◽

pp. 887-924 ◽

Author(s):

Teresa Alsinet ◽

Llu�s Godo

Keyword(s):

Logic Programming ◽

Automated Deduction ◽

Deduction System ◽

First Order ◽

Possibilistic Logic

Download Full-text

Shortest single axioms for commutative moufang loops of exponent 3

Discrete Mathematics ◽

10.1016/j.disc.2007.06.016 ◽

2008 ◽

Vol 308 (15) ◽

pp. 3381-3385 ◽

Author(s):

Nick C. Fiala

Keyword(s):

Moufang Loops ◽

Single Axioms ◽

Shortest Single Axioms

Download Full-text

Loveland, D. W. (ed.), 6th Conference on Automated Deduction. New York, USA, 1982. Berlin-Heidelberg-New York, Springer-Verlag 1982. VII, 389 S., DM 39,50. US $ 17.60. ISBN 3-540-11558-7 (Lecture Notes in Computer Science 138)

ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik ◽

10.1002/zamm.19830630827 ◽

1983 ◽

Vol 63 (8) ◽

pp. 398-398

Author(s):

H. Reichel

Keyword(s):

New York ◽

Computer Science ◽

Automated Deduction ◽

Download Full-text

Dedam: A kernel of data structures and algorithms for automated deduction with equality clauses

Automated Deduction—CADE-14 - Lecture Notes in Computer Science ◽

10.1007/3-540-63104-6_5 ◽

1997 ◽

pp. 49-52 ◽

Author(s):

Robert Nieuwenhuis ◽

José Miguel Rivero ◽

Miguel Angel Vallejo

Keyword(s):

Data Structures ◽

Automated Deduction ◽

Data Structures And Algorithms

Download Full-text

Automated deduction and formal methods

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-61474-5_67 ◽

1996 ◽

pp. 169-183 ◽

Author(s):

John Rushby

Keyword(s):

Formal Methods ◽

Automated Deduction

Download Full-text