Jump to main content

yr 〜
yr

Search results 5

SINGLE AXIOMS FOR BOOLEAN ALGEBRA (ANL ; ANL/MCS-TM-243)

SINGLE AXIOMS FOR BOOLEAN ALGEBRA (ANL ; ANL/MCS-TM-243)
Paper図書
W. MCCUNE (ARGONNE NATIONAL LAB., IL)Argonne National Laboratory(Argonne National Laboratory)2000.
Other Libraries in Japan

SINGLE IDENTITIES FOR LATTICE THEORY AND FOR WEAKLY ASSOCIATIVE LATTICES (ANL ; ANL/MCS/PP-86040)

SINGLE IDENTITIES FOR LATTICE THEORY AND FOR WEAKLY ASSOCIATIVE LATTICES (ANL ; ANL/MCS/PP-86040)
Paper図書
W. MCCUNE//ET AL. (ARGONNE NATIONAL LAB., IL)Argonne National Laboratory(Argonne National Laboratory)1995.
Other Libraries in Japan
  • Author HeadingW. MCCUNE.

EQUATIONAL CHARACTERIZATION OF THE CONIC CONSTRUCTION OF CUBIC CURVES (ANL ; ANL/ER/PP-86642)

EQUATIONAL CHARACTERIZATION OF THE CONIC CONSTRUCTION OF CUBIC CURVES (ANL ; ANL/ER/PP-86642)
Paper図書
W. MCCUNE//ET AL. (ARGONNE NATIONAL LAB., IL)Argonne National Laboratory(Argonne National Laboratory)1995.
Other Libraries in Japan
  • Author HeadingW. MCCUNE.

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

The Binding of Proteus : perspectives on myth and the literary process : collected papers of the Bucknell University program on myth and literature and the Bucknell-Susquehanna Colloquium on Myth in Literature, held at Bucknell and Susquehanna Universities, 21 and 22 March 1974

The Binding of Proteus : perspectives on myth and the literary process : collected papers of the Bucknell University program on myth and literature and the Bucknell-Susquehanna Colloquium on Myth in Literature, held at Bucknell and Susquehanna Universities, 21 and 22 March 1974
Paper図書
edited by Marjorie W. McCune, Tucker Orbison, Philip M. WithimBucknell University Pressc1980
Other Libraries in Japan

Reached to the end of result.

RSS