Jump to main content

yr 〜
yr

Search results 23

Experiments with the hot list strategy ANL/MCS-TM-232 DE98 002717

Experiments with the hot list strategy ANL/MCS-TM-232 DE98 002717
Microform規格・テクニカルリポート類
Wos, L1997<LS-DE98/002717>
National Diet Library

Experiments concerning the automated search for elegant proofs ANL/MCS/TM-221 DE97 008537

Experiments concerning the automated search for elegant proofs ANL/MCS/TM-221 DE97 008537
Microform規格・テクニカルリポート類
Wos, L1997<LS-DE97/008537>
National Diet Library

EXPERIMENTS CONCERNING THE AUTOMATED SEARCH FOR ELEGANT PROOFS. (ANL ; ANL/MCS-TM-221)

EXPERIMENTS CONCERNING THE AUTOMATED SEARCH FOR ELEGANT PROOFS. (ANL ; ANL/MCS-TM-221)
Paper図書
WOS, L.Argonne National Laboratory(Argonne National Laboratory)1997.
Other Libraries in Japan
  • Author HeadingWOS, L.

BENCHMARK PROBLEMS IN WHICH EQUALITY PLAYS THE MAJOR ROLE (ANL ; ANL/CP-74903)

BENCHMARK PROBLEMS IN WHICH EQUALITY PLAYS THE MAJOR ROLE (ANL ; ANL/CP-74903)
Paper図書
LUSK, E.// WOS, L. (ARGONNE NATIONAL LAB., IL (UNITED STATES))Argonne National Laboratory(Argonne National Laboratory)1992.
Other Libraries in Japan
  • Author HeadingLUSK, E. WOS, L.

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.

AUTOMATED REASONING AND ENUMERATIVE SEARCH, WITH APPLICATIONS TO MATHEMATICS (ANL ; ANL/CP-75127)

AUTOMATED REASONING AND ENUMERATIVE SEARCH, WITH APPLICATIONS TO MATHEMATICS (ANL ; ANL/CP-75127)
Paper図書
ZHANG, JIAN// WOS, L. (ARGONNE NATIONAL LAB., IL (UNITED STATES))Argonne National Laboratory(Argonne National Laboratory)1991.
Other Libraries in Japan
  • Author HeadingZHANG, JIAN WOS, L.

THEORY INSTITUTE IN AUTOMATED REASONING HELD AT ARGONNE NATIONAL LABORATORY, AUGUST 6--10, 1990. (ANL ; ANL-90/28)

THEORY INSTITUTE IN AUTOMATED REASONING HELD AT ARGONNE NATIONAL LABORATORY, AUGUST 6--10, 1990. (ANL ; ANL-90/28)
Paper図書
WOS, L.Argonne National Laboratory(Argonne National Laboratory)1990.
Other Libraries in Japan
  • Author HeadingWOS, L.

PROBLEM OF FINDING A STRATEGY IN CONTROL BINARY PARAMODULATION (ANL ; ANL/PPRNT-89-195)

PROBLEM OF FINDING A STRATEGY IN CONTROL BINARY PARAMODULATION (ANL ; ANL/PPRNT-89-195)
Paper図書
WOS, L. (ARGONNE NATIONAL LAB., IL (USA))Argonne National Laboratory(Argonne National Laboratory)1989.
Other Libraries in Japan
  • Author HeadingWOS, L.

SEARCHING FOR FIXED POINT COMBINATORS BY USING AUTOMATED THEOREM PROVING: A PRELIMINARY REPORT. (ANL ; ANL-88-10)

SEARCHING FOR FIXED POINT COMBINATORS BY USING AUTOMATED THEOREM PROVING: A PRELIMINARY REPORT. (ANL ; ANL-88-10)
Paper図書
WOS, L.(et al.)Argonne National Laboratory(Argonne National Laboratory)1988.
Other Libraries in Japan
  • Author HeadingWOS, L.

CHALLENGE PROBLEMS FOCUSING ON EQUALITY AND COMBINATORY LOGIC: EVALUATING AUTOMATED THEOREM-PROVING PROGRAMS. (CONF ; CONF-8805110-2)

CHALLENGE PROBLEMS FOCUSING ON EQUALITY AND COMBINATORY LOGIC: EVALUATING AUTOMATED THEOREM-PROVING PROGRAMS. (CONF ; CONF-8805110-2)
Paper図書
WOS, L.(et al.)1988.
Other Libraries in Japan
  • Author HeadingWOS, L.

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. OVERBEE...

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. OVERBEE...

AUTOMATED REASONING: BASIC RESEARCH PROBLEMS. (ANL ; ANL/MCS-TM-67)

AUTOMATED REASONING: BASIC RESEARCH PROBLEMS. (ANL ; ANL/MCS-TM-67)
Paper図書
Wos, L.Argonne National Laboratory(Argonne National Laboratory)1986.
Other Libraries in Japan
  • Author HeadingWos, L.

NEGATIVE PARAMODULATION. (CONF ; CONF-860723-1)

NEGATIVE PARAMODULATION. (CONF ; CONF-860723-1)
Paper図書
WOS, L.(et al.)1985.
Other Libraries in Japan
  • Author HeadingWOS, L.

AUTOMATED REASONING AND VARIOUS APPLICATIONS. (CONF ; CONF-8510116-1)

AUTOMATED REASONING AND VARIOUS APPLICATIONS. (CONF ; CONF-8510116-1)
Paper図書
WOS, L.1985.
Other Libraries in Japan
  • Author HeadingWOS, L.

COST FUNCTION STUDIES FOR POWER REACTORS (ANL ; ANL-6442)

COST FUNCTION STUDIES FOR POWER REACTORS (ANL ; ANL-6442)
Paper図書
Heestand, J./Wos, L.T.Argonne National Laboratory(Argonne National Laboratory)1961.
Other Libraries in Japan
  • Author HeadingHeestand, J. Wos, L.T.

Automation of reasoning / edited by Jörg Siekmann and Graham Wrightson.

Automation of reasoning / edited by Jörg Siekmann and Graham Wrightson.
Paper図書
Springer1983.<M159-A28>
National Diet Library

AUTOMATED REASONING: REAL USES AND POTENTIAL USES. (CONF ; CONF-830896-1)

AUTOMATED REASONING: REAL USES AND POTENTIAL USES. (CONF ; CONF-830896-1)
Paper図書
WOS, L.
Other Libraries in Japan
  • Author HeadingWOS, L.

HYPERPARAMODULATION: A REFINEMENT OF PARAMODULATION. (CONF ; CONF-8007106-1)

HYPERPARAMODULATION: A REFINEMENT OF PARAMODULATION. (CONF ; CONF-8007106-1)
Paper図書
WOS, L.
Other Libraries in Japan
  • Author HeadingWOS, L.
RSS