Jump to main content

yr 〜
yr

Search results 24

Case study in automated theorem proving: A difficult problem about commutators ANL/MCS-TM-202 DE95 008392

Case study in automated theorem proving: A difficult problem about commutators ANL/MCS-TM-202 DE95 008392
Microform規格・テクニカルリポート類
McCune, W1995<LS-DE95/008392>
National Diet Library

Equational characterization of the conic construction of cubic curves ANL/ER/PP-86642 DE97 008538

Equational characterization of the conic construction of cubic curves ANL/ER/PP-86642 DE97 008538
Microform規格・テクニカルリポート類
McCune, W, Padmanabhan, R1995<LS-DE97/008538>
National Diet Library

Single identities for lattice theory and for weakly associative lattices ANL/MCS/PP-86040 DE97 008386

Single identities for lattice theory and for weakly associative lattices ANL/MCS/PP-86040 DE97 008386
Microform規格・テクニカルリポート類
McCune, W, Padmanabhan, R1995<LS-DE97/008386>
National Diet Library

Davis-Putnam program and its application to finite-order model search: Quasigroup existence problems ANL/MCS-TM-194 DE95 003014

Davis-Putnam program and its application to finite-order model search: Quasigroup existence problems ANL/MCS-TM-194 DE95 003014
Microform規格・テクニカルリポート類
McCune, W1994<LS-DE95/003014>
National Diet Library

CASE STUDY IN AUTOMATED THEOREM PROVING: A DIFFICULT PROBLEM ABOUT COMMUTATORS (ANL ; ANL/MCS-TM-202)

CASE STUDY IN AUTOMATED THEOREM PROVING: A DIFFICULT PROBLEM ABOUT COMMUTATORS (ANL ; ANL/MCS-TM-202)
Paper図書
MCCUNE, W. (ARGONNE NATIONAL LAB., IL (UNITED STATES))Argonne National Laboratory(Argonne National Laboratory)1995.
Other Libraries in Japan
  • Author HeadingMCCUNE, W.

OTTER 3.0 (ANL ; ANL/MCS/CP-81825)

OTTER 3.0 (ANL ; ANL/MCS/CP-81825)
Paper図書
MCCUNE, W. (ARGONNE NATIONAL LAB., IL (UNITED STATES))Argonne National Laboratory(Argonne National Laboratory)1994.
Other Libraries in Japan
  • Author HeadingMCCUNE, W.

DAVIS-PUTNAM PROGRAM AND ITS APPLICATION TO FINITE-ORDER MODEL SEARCH: QUASIGROUP EXISTENCE PROBLEMS (ANL ; ANL/MCS-TM-194)

DAVIS-PUTNAM PROGRAM AND ITS APPLICATION TO FINITE-ORDER MODEL SEARCH: QUASIGROUP EXISTENCE PROBLEMS (ANL ; ANL/MCS-TM-194)
Paper図書
MCCUNE, W. (ARGONNE NATIONAL LAB., IL (UNITED STATES). MATHEMATICS AND COMPUTER SCIENCE DIV.)Argonne National Laboratory(Argonne National Laboratory)1994.
Other Libraries in Japan
  • Author HeadingMCCUNE, W.

APPLICATION OF AUTOMATED DEDUCTION TO THE SEARCH FOR SINGLE AXIOMS FOR EXPONENT GROUPS (ANL ; ANL/CP-75803)

APPLICATION OF AUTOMATED DEDUCTION TO THE SEARCH FOR SINGLE AXIOMS FOR EXPONENT GROUPS (ANL ; ANL/CP-75803)
Paper図書
MCCUNE, W.// WOS, L. (ARGONNE NATIONAL LAB., IL (UNITED STATES))Argonne National Laboratory(Argonne National Laboratory)1992.
Other Libraries in Japan
  • Author HeadingMCCUNE, W. WOS, L.

APPLICATION OF AUTOMATED REASONING TO PROOF TRANSLATION AND TO FINDING PROOFS WITH SPECIFIED PROPERTIES: A CASE STUDY IN MANYVALUED SENTENTIAL CALCULUS (ANL ; ANL-91/19)

APPLICATION OF AUTOMATED REASONING TO PROOF TRANSLATION AND TO FINDING PROOFS WITH SPECIFIED PROPERTIES: A CASE STUDY IN MANYVALUED SENTENTIAL CALCULUS (ANL ; ANL-91/19)
Paper図書
WOS, L.// MCCUNE, W. (ARGONNE NATIONAL LAB., IL (UNITED STATES))Argonne National Laboratory(Argonne National Laboratory)1991.
Other Libraries in Japan
  • Author HeadingWOS, L. MCCUNE, W.

OTTER EXPERIMENTS PERTINENT TO CADE-10 (ANL ; ANL-89/36)

OTTER EXPERIMENTS PERTINENT TO CADE-10 (ANL ; ANL-89/36)
Paper図書
WOS, L.// WINKER, S.// MCCUNE, W.// OVERBEEK, R.// LUSK, E.// STEVENS, R.// BUTLER, R. (ARGONNE NATIONAL LAB., IL (USA)// UNIVERSITY OF NORTH FLORIDA, JACKSONVILLE, FL (USA))Argonne National Laboratory(Argonne National Laboratory)1991.
Other Libraries in Japan
  • Author HeadingWOS, L. WINKER, S. MCCUNE, W. OVERBEEK, R. LUSK, E. STEVENS...

AUTOMATED REASONING CONTRIBUTES TO MATHEMATICS AND LOGIC (ANL ; ANL/CP-72570)

AUTOMATED REASONING CONTRIBUTES TO MATHEMATICS AND LOGIC (ANL ; ANL/CP-72570)
Paper図書
WOS, L.// WINKER, S.// MCCUNE, W.// OVERBEEK, R.// LUSK, E.// STEVENS, R.// BUTLER, R. (ARGONNE NATIONAL LAB., IL (USA))Argonne National Laboratory(Argonne National Laboratory)1990.
Other Libraries in Japan
  • Author HeadingWOS, L. WINKER, S. MCCUNE, W. OVERBEEK, R. LUSK, E. STEVENS...

CHALLENGE EQUALITY PROBLEMS IN LATTICE THEORY. (CONF ; CONF-8805110-1)

CHALLENGE EQUALITY PROBLEMS IN LATTICE THEORY. (CONF ; CONF-8805110-1)
Paper図書
MCCUNE, W.1988.
Other Libraries in Japan
  • Author HeadingMCCUNE, W.

OTTER 3.0 REFERENCE MANUAL AND GUIDE (ANL ; ANL-94/6)

OTTER 3.0 REFERENCE MANUAL AND GUIDE (ANL ; ANL-94/6)
Paper図書
MCCUNE, W.W. (ARGONNE NATIONAL LAB., IL (UNITED STATES))Argonne National Laboratory(Argonne National Laboratory)1994.
Other Libraries in Japan
  • Author HeadingMCCUNE, W.W.

Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings

Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
Paper図書
William McCune (ed.)Springerc1997
Other Libraries in Japan
  • Author HeadingInternational Conference on Automated Deduction McCune, W. (William)

Automated deduction in equational logic and cubic curves

Automated deduction in equational logic and cubic curves
Paper図書
W. McCune, R. PadmanabhanSpringerc1996
Other Libraries in Japan
  • Author HeadingMcCune, W. (William) Padmanabhan, R. (Ra...

WHAT'S NEW IN OTTER 2.2 (ANL ; ANL/MCS-TM-153)

WHAT'S NEW IN OTTER 2.2 (ANL ; ANL/MCS-TM-153)
Paper図書
MCCUNE, W.W. (ARGONNE NATIONAL LAB., IL (UNITED STATES))Argonne National Laboratory(Argonne National Laboratory)1991.
Other Libraries in Japan
  • Author HeadingMCCUNE, W.W.

ENTRY IN THE 1992 OVERBEEK THEOREM-PROVING CONTEST (ANL ; ANL/MCS-TM-172)

ENTRY IN THE 1992 OVERBEEK THEOREM-PROVING CONTEST (ANL ; ANL/MCS-TM-172)
Paper図書
LUSK, E.L.// MCCUNE, W.W. (ARGONNE NATIONAL LAB., IL (UNITED STATES))Argonne National Laboratory(Argonne National Laboratory)1992.
Other Libraries in Japan
  • Author HeadingLUSK, E.L. MCCUNE, W.W.

PROOFS FOR GROUP AND ABELIAN GROUP SINGLE SINGLE AXIOMS (ANL ; ANL/MCS-TM-156)

PROOFS FOR GROUP AND ABELIAN GROUP SINGLE SINGLE AXIOMS (ANL ; ANL/MCS-TM-156)
Paper図書
MCCUNE, W.W. (ARGONNE NATIONAL LAB., IL (UNITED STATES). MATHEMATICS AND COMPUTER SCIENCE DIV.)Argonne National Laboratory(Argonne National Laboratory)1991.
Other Libraries in Japan
  • Author HeadingMCCUNE, W.W.

MAINTAINING STATE CONSTRAINTS IN RELATIONAL DATABASES: A PROOF THEORETIC BASIS. (ANL ; ANL/MCS-TM-94)

MAINTAINING STATE CONSTRAINTS IN RELATIONAL DATABASES: A PROOF THEORETIC BASIS. (ANL ; ANL/MCS-TM-94)
Paper図書
MCCUNE, W.W.(et al.)Argonne National Laboratory(Argonne National Laboratory)1987.
Other Libraries in Japan
  • Author HeadingMCCUNE, W.W.

OTTER 1.0 USERS' GUIDE. (ANL ; ANL-88-44)

OTTER 1.0 USERS' GUIDE. (ANL ; ANL-88-44)
Paper図書
MCCUNE, W.W.Argonne National Laboratory(Argonne National Laboratory)1989.
Other Libraries in Japan
  • Author HeadingMCCUNE, W.W.
RSS