Journal of Automated Reasoning 2002: Vol 29 Index

5 Pages·2002·0.91 MB·English

Be Journal of Automated Reasoning 29: 413, 2002.
Author Index to Volume 29
Amgoud, L., 125 Mashevitzky, G., 171
Mitter, S. K., 91
Bancerek, G., 189
Bertot, Y., 225 Nguyen, Q. H., 309
Bezem, M., 253
Borkar, V. S., 91 Plaisted, D. A., 17
Prevosto, V., 337
Cayrol, C., 125
Chandru, V., 91 Rudnicki, P., 189
de Nivelle, H., 253 Slaney, J., 59
Doligez, D., 337
Thiele, R., 67
Feist, A., |
Fitelson, B., 1, 107 Ulrich, D., 107
Harris, K., | Veroff, R., |
Hendriks, D., 253, 277
Wenzel, M., 389
Kamareddine, F., 183 Wiedijk, F., 365, 389
Kirchner, C., 309 Wos, L., 1, 67, 107
Kirchner, H., 309
Yahya, A., 17
McCune, W., |
Magaud, N Zimmermann, P., 225

Be Journal of Automated Reasoning 29: 415, 2002.
Subject Index to Volume 29
arbitrary large numbers, 225 OTTER, 107
argumentation, 125
predicate logic, 91
automated
preference relations, 125
reasoning, 67, 107
proof
theorem proving, 17
Automath, 365 assistant, 309
axiomatics, 59 checking, 189
construction, 253
Boolean algebra, 1 objects, 365
refinement, 67
certification, 309
sketches, 389
CLP(R), 91
computer algebra, 337
QED project, 189
condensed detachment, 107
Coq, 225, 277 p-calculus, 309
reflection, 277
detachment, 107
resolution theorem proving, 253
equivalence, 107
semantics, 17
equivalential calculus, 107
semigroup, 171
Foc language, 337 semilattices, 171
formal methods, 225 set theory, 189
formalization Sheffer stroke, |
of logical systems, 277 shortest single axioms, 107
of mathematics, 189 single
formalized mathematics, 365, 389 axiom, |
axioms, 107
GMP, 225
structured proof languages, 389
handling inconsistency, 125 substructural logic, 59
Hilbert 24th problem, 67
tableaux, 17
literal ordering, 17 term rewriting, 309
theory of continuous lattices, 189
many-valued logic, 59
type theory, 253, 309, 365
mathematical
knowledge management, 189
unification types, 171
programming, 91
MIZAR, 189 XCB, 107