-
1
-
-
4243297930
-
Correspondence by electronic mail
-
Avenhaus, J.: Correspondence by electronic mail, 2000.
-
(2000)
-
-
Avenhaus, J.1
-
2
-
-
0031108703
-
Waldmeister
-
Hillenbrand, T., Buch, A., Vogt, R. and Löchner, B.: Waldmeister, J. Automated Reasoning 18(2) (1997), 265-270.
-
(1997)
J. Automated Reasoning
, vol.18
, Issue.2
, pp. 265-270
-
-
Hillenbrand, T.1
Buch, A.2
Vogt, R.3
Löchner, B.4
-
3
-
-
0011334264
-
Single axioms for groups
-
Kunen, K.: Single axioms for groups, J. Automated Reasoning 9(3) (1992), 291-308.
-
(1992)
J. Automated Reasoning
, vol.9
, Issue.3
, pp. 291-308
-
-
Kunen, K.1
-
4
-
-
0011328498
-
-
McCune, W.: Otter, http://www.mcs.anl.gov./AR/otter/, 1994.
-
(1994)
Otter
-
-
McCune, W.1
-
5
-
-
0003734447
-
-
Technical Report ANL-94/6, Argonne National Laboratory, Argonne, IL
-
McCune, W.: Otter 3.0 reference manual and guide, Technical Report ANL-94/6, Argonne National Laboratory, Argonne, IL, 1994.
-
(1994)
Otter 3.0 Reference Manual and Guide
-
-
McCune, W.1
-
6
-
-
0031378630
-
Solution of the Robbins problem
-
McCune, W.: Solution of the Robbins problem, J. Automated Reasoning 19(3) (1997), 263-276.
-
(1997)
J. Automated Reasoning
, vol.19
, Issue.3
, pp. 263-276
-
-
McCune, W.1
-
7
-
-
0011334265
-
Single axioms for Boolean algebra
-
Tech. Memo ANL/MCS-TM-243, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL
-
McCune, W.: Single axioms for Boolean algebra, Tech. Memo ANL/MCS-TM-243, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, 2000.
-
(2000)
-
-
McCune, W.1
-
8
-
-
0011283229
-
-
Tech. Memo ANL/MCS-TM-249, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL
-
McCune, W.: MACE 2.0 reference manual and guide, Tech. Memo ANL/MCS-TM-249, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, 2001.
-
(2001)
MACE 2.0 Reference Manual and Guide
-
-
McCune, W.1
-
9
-
-
32844463015
-
IVY: A preprocessor and proof checker for first-order logic
-
in M. Kaufmann, P. Manolios and J. Moore (eds); Kluwer Academic Publishers; Chapt. 16
-
McCune, W. and Shumsky, O.: IVY: A preprocessor and proof checker for first-order logic, in M. Kaufmann, P. Manolios and J. Moore (eds), Computer-Aided Reasoning: ACL2 Case Studies, Kluwer Academic Publishers, 2000, Chapt. 16.
-
(2000)
Computer-Aided Reasoning: ACL2 Case Studies
-
-
McCune, W.1
Shumsky, O.2
-
10
-
-
84972492789
-
Equational postulates for the Sheffer stroke
-
Meredith, C. A.: Equational postulates for the Sheffer stroke, Notre Dame J. Formal Logic 10(3) (1969), 266-270.
-
(1969)
Notre Dame J. Formal Logic
, vol.10
, Issue.3
, pp. 266-270
-
-
Meredith, C.A.1
-
12
-
-
0011333577
-
Single identities for ternary Boolean algebras
-
Padmanabhan, R. and McCune, W.: Single identities for ternary Boolean algebras, Comput. Math. Appl. 29(2) (1995), 13-16.
-
(1995)
Comput. Math. Appl.
, vol.29
, Issue.2
, pp. 13-16
-
-
Padmanabhan, R.1
McCune, W.2
-
13
-
-
84968503402
-
Equational theories of algebras with distributive congruences
-
Padmanabhan, R. and Quackenbush, R. W.: Equational theories of algebras with distributive congruences, Proc. Amer. Math. Soc. 41(2) (1973), 373-377.
-
(1973)
Proc. Amer. Math. Soc.
, vol.41
, Issue.2
, pp. 373-377
-
-
Padmanabhan, R.1
Quackenbush, R.W.2
-
14
-
-
84968502701
-
A set of five independent postulates for Boolean algebras, with application to logical constants
-
Sheffer, H.: A set of five independent postulates for Boolean algebras, with application to logical constants, Trans. Amer. Math. Soc. 14(4) (1913), 481-488.
-
(1913)
Trans. Amer. Math. Soc.
, vol.14
, Issue.4
, pp. 481-488
-
-
Sheffer, H.1
-
15
-
-
0030170073
-
Using hints to increase the effectiveness of an automated reasoning program: Case studies
-
Veroff, R.: Using hints to increase the effectiveness of an automated reasoning program: Case studies, J. Automated Reasoning 16(3) (1996), 223-239.
-
(1996)
J. Automated Reasoning
, vol.16
, Issue.3
, pp. 223-239
-
-
Veroff, R.1
-
16
-
-
0003854651
-
Short 2-bases for Boolean algebra in terms of the Sheffer stroke
-
Technical Report TR-CS-2000-25, Computer Science Department, University of New Mexico, Albuquerque, NM
-
Veroff, R.: Short 2-bases for Boolean algebra in terms of the Sheffer stroke, Technical Report TR-CS-2000-25, Computer Science Department, University of New Mexico, Albuquerque, NM, 2000.
-
(2000)
-
-
Veroff, R.1
-
17
-
-
4243291704
-
Correspondence by electronic mail
-
Wolfram, S.: Correspondence by electronic mail, 2000.
-
(2000)
-
-
Wolfram, S.1
-
18
-
-
0011363924
-
Searching for circles of pure proofs
-
Wos, L.: Searching for circles of pure proofs, J. Automated Reasoning 15(3) (1995), 279-315.
-
(1995)
J. Automated Reasoning
, vol.15
, Issue.3
, pp. 279-315
-
-
Wos, L.1
-
20
-
-
0000652015
-
SEM: A system for enumerating models
-
Zhang, J. and Zhang, H.: SEM: A system for enumerating models, in Proc. IJCAI-95, Vol. 1, 1995, pp. 298-303.
-
(1995)
Proc. IJCAI-95
, vol.1
, pp. 298-303
-
-
Zhang, J.1
Zhang, H.2
|