Breadcrumb Home Catalog Catalog Book Relevancy based Use of Lemmas in Connection Tableau Calculi Publication date January 2000 Authors Fuchs, M. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 227 of Dissertations in Artificial Intelligence more details Book SAT2000 Highlights of Satisfiability Research in the Year 2000 Publication date January 2000 Editors Gent, I., Van Maaren, H., Walsh, T. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence Volume 63 of Frontiers in Artificial Intelligence and Applications more details Book Tacti-Based Inductive Theorem Prover for data Types with Partial Operations Publication date January 2000 Authors Külher, U. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 238 of Dissertations in Artificial Intelligence more details Book Teaching and Learning in a Network World TechEd 2000 Proceedings Publication date January 2000 Editors Hoffman, P., Lemke, D. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 60 of Frontiers in Artificial Intelligence and Applications more details Book VSMM 2000 6th International Conference on Virtual Systems and Multimedia Publication date January 2000 Editors Thwaites, H. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence more details Book A combined Parametric and Nonparametric Approach to Time Series Analysis Publication date January 1999 Editors Kriebel, S.K.T. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 222 of Dissertations in Artificial Intelligence more details Book A Connectionist Approach for Learning Search-Control Heuristics for Automated Deduction Systems Publication date January 1999 Authors Goller, C. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 206 of Dissertations in Artificial Intelligence more details Book Artificial Intelligence in Education Open Learning Environments: New Computational Technologies to Support Learning, Exploration, Collab. Publication date January 1999 Editors Lajoie, S.P., Vivet, M. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 50 of Frontiers in Artificial Intelligence and Applications more details Book Automatic Termination Analysis for Functional and Imperative Programs Publication date January 1999 Authors Brauburger, J. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 207 of Dissertations in Artificial Intelligence more details Book Component-Based User Guidance in Knowledge Discovery and Data Mining Publication date January 1999 Editors Engels, R. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 211 of Dissertations in Artificial Intelligence more details Book Connection Tableau Calculi with Disjunctive Contraints Publication date January 1999 Authors Ibens, O. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 217 of Dissertations in Artificial Intelligence more details Book Error Estimation and Model Selection Publication date January 1999 Authors Scheffer, T. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 225 of Dissertations in Artificial Intelligence more details Pagination First page First Previous page Previous … Page 40 Page 41 Page 42 Page 43 Current page 44 Page 45 Page 46 Page 47 Page 48 … Next page Next Last page Last
Book Relevancy based Use of Lemmas in Connection Tableau Calculi Publication date January 2000 Authors Fuchs, M. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 227 of Dissertations in Artificial Intelligence more details
Book SAT2000 Highlights of Satisfiability Research in the Year 2000 Publication date January 2000 Editors Gent, I., Van Maaren, H., Walsh, T. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence Volume 63 of Frontiers in Artificial Intelligence and Applications more details
Book Tacti-Based Inductive Theorem Prover for data Types with Partial Operations Publication date January 2000 Authors Külher, U. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 238 of Dissertations in Artificial Intelligence more details
Book Teaching and Learning in a Network World TechEd 2000 Proceedings Publication date January 2000 Editors Hoffman, P., Lemke, D. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 60 of Frontiers in Artificial Intelligence and Applications more details
Book VSMM 2000 6th International Conference on Virtual Systems and Multimedia Publication date January 2000 Editors Thwaites, H. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence more details
Book A combined Parametric and Nonparametric Approach to Time Series Analysis Publication date January 1999 Editors Kriebel, S.K.T. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 222 of Dissertations in Artificial Intelligence more details
Book A Connectionist Approach for Learning Search-Control Heuristics for Automated Deduction Systems Publication date January 1999 Authors Goller, C. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 206 of Dissertations in Artificial Intelligence more details
Book Artificial Intelligence in Education Open Learning Environments: New Computational Technologies to Support Learning, Exploration, Collab. Publication date January 1999 Editors Lajoie, S.P., Vivet, M. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 50 of Frontiers in Artificial Intelligence and Applications more details
Book Automatic Termination Analysis for Functional and Imperative Programs Publication date January 1999 Authors Brauburger, J. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 207 of Dissertations in Artificial Intelligence more details
Book Component-Based User Guidance in Knowledge Discovery and Data Mining Publication date January 1999 Editors Engels, R. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 211 of Dissertations in Artificial Intelligence more details
Book Connection Tableau Calculi with Disjunctive Contraints Publication date January 1999 Authors Ibens, O. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 217 of Dissertations in Artificial Intelligence more details
Book Error Estimation and Model Selection Publication date January 1999 Authors Scheffer, T. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 225 of Dissertations in Artificial Intelligence more details
