Breadcrumb Home Catalog Catalog Book Cooperation in Heterogeneous Theorem Prover Networks Publication date January 2000 Authors Fuchs, D. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 231 of Dissertations in Artificial Intelligence more details Book Designing Cooperative Systems The Use of Theories and Models- Proc. of the 5th Int. Conf. on the Design of Coop. Syst. (COOP’2000) Publication date January 2000 Editors Dieng-Kuntz, R., Giboin, A., Karsenty, L., De Michelis, G. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence Volume 58 of Frontiers in Artificial Intelligence and Applications more details Book ECAI 2000 Proceedings Publication date January 2000 Editors Horn, W. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 54 of Frontiers in Artificial Intelligence and Applications more details Book Information Modelling and Knowledge Bases XI Publication date January 2000 Editors Kawaguchi, E., Kangassalo, H., Jaakkola, H., Hamid, I.A. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence Volume 61 of Frontiers in Artificial Intelligence and Applications more details Book Intelligent Autonomous Systems 6 Publication date January 2000 Editors Pagello, E., Groen, F., Arai, T., Dillman, R., Stentz, A. Subjects Automation & Control Systems, Computer Sciences, Mathematics & Statistics, Artificial Intelligence more details Book Knowledge-Based Software Engineering Publication date January 2000 Editors Hruska, T., Hashimoto, M. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence Volume 62 of Frontiers in Artificial Intelligence and Applications more details Book Learning Search Control Knowledge for Equational Deduction Publication date January 2000 Editors Schulz, S. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 230 of Dissertations in Artificial Intelligence more details Book Legal Knowledge Based Systems Publication date January 2000 Editors Breuker, J., Winkels, R.G.F., Leenes, R. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence Volume 64 of Frontiers in Artificial Intelligence and Applications more details Book New Foundations for Automation of Default Reasoning Publication date January 2000 Authors Linke, T. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 237 of Dissertations in Artificial Intelligence more details Book On Types and Type Consistency in Logic Programming Publication date January 2000 Authors Meyer, G. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 235 of Dissertations in Artificial Intelligence more details Book Pattern Recognition and Applications Publication date January 2000 Editors Torres, M.I., Sanfeliu, A. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence Volume 56 of Frontiers in Artificial Intelligence and Applications more details Book Proof Reconstruction in Classical and Non-classical Logics Publication date January 2000 Editors Schmitt, S. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 239 of Dissertations in Artificial Intelligence more details Pagination First page First Previous page Previous … Page 39 Page 40 Page 41 Page 42 Current page 43 Page 44 Page 45 Page 46 Page 47 … Next page Next Last page Last
Book Cooperation in Heterogeneous Theorem Prover Networks Publication date January 2000 Authors Fuchs, D. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 231 of Dissertations in Artificial Intelligence more details
Book Designing Cooperative Systems The Use of Theories and Models- Proc. of the 5th Int. Conf. on the Design of Coop. Syst. (COOP’2000) Publication date January 2000 Editors Dieng-Kuntz, R., Giboin, A., Karsenty, L., De Michelis, G. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence Volume 58 of Frontiers in Artificial Intelligence and Applications more details
Book ECAI 2000 Proceedings Publication date January 2000 Editors Horn, W. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 54 of Frontiers in Artificial Intelligence and Applications more details
Book Information Modelling and Knowledge Bases XI Publication date January 2000 Editors Kawaguchi, E., Kangassalo, H., Jaakkola, H., Hamid, I.A. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence Volume 61 of Frontiers in Artificial Intelligence and Applications more details
Book Intelligent Autonomous Systems 6 Publication date January 2000 Editors Pagello, E., Groen, F., Arai, T., Dillman, R., Stentz, A. Subjects Automation & Control Systems, Computer Sciences, Mathematics & Statistics, Artificial Intelligence more details
Book Knowledge-Based Software Engineering Publication date January 2000 Editors Hruska, T., Hashimoto, M. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence Volume 62 of Frontiers in Artificial Intelligence and Applications more details
Book Learning Search Control Knowledge for Equational Deduction Publication date January 2000 Editors Schulz, S. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 230 of Dissertations in Artificial Intelligence more details
Book Legal Knowledge Based Systems Publication date January 2000 Editors Breuker, J., Winkels, R.G.F., Leenes, R. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence Volume 64 of Frontiers in Artificial Intelligence and Applications more details
Book New Foundations for Automation of Default Reasoning Publication date January 2000 Authors Linke, T. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 237 of Dissertations in Artificial Intelligence more details
Book On Types and Type Consistency in Logic Programming Publication date January 2000 Authors Meyer, G. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 235 of Dissertations in Artificial Intelligence more details
Book Pattern Recognition and Applications Publication date January 2000 Editors Torres, M.I., Sanfeliu, A. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence Volume 56 of Frontiers in Artificial Intelligence and Applications more details
Book Proof Reconstruction in Classical and Non-classical Logics Publication date January 2000 Editors Schmitt, S. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 239 of Dissertations in Artificial Intelligence more details
