ebook img

Journal of Automated Reasoning 2002: Vol 29 Index PDF

5 Pages·2002·0.91 MB·English
by  
Save to my drive
Quick download
Download
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Preview Journal of Automated Reasoning 2002: Vol 29 Index

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

See more

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.