Tacti-Based Inductive Theorem Prover for data Types with Partial Operations Authors Külher, U. Volume 238 of Dissertations in Artificial Intelligence Publication date January 2000 # of pages 261 Cover Softcover ISBN print 978-1-58603-128-2 Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence View Content This book is out of stock Abstracted / Indexed in Related Publications Book Intelligent Manufacturing and Cloud Computing Proceedings of the 2nd International Conference (ICIMCC 2025), Wuhan, China, 12- 14 December 2025 Publication date March 2026 Editors Jesus, I.S., Wang, K. Subjects Engineering, Technology, Computer Sciences Volume 91 of Advances in Transdisciplinary Engineering more details Book Machine Learning and Artificial Intelligence Proceedings of MLIS 2025, Hong Kong, 24-26 November 2025 Publication date March 2026 Editors Grangetto, A., Martínez, A.G., Castro Rojas, E.A., Tallón-Ballesteros, A.J. Subjects Artificial Intelligence, Human-Computer Interaction Volume 420 of Frontiers in Artificial Intelligence and Applications more details Book Information Modelling and Knowledge Bases XXXVII Publication date February 2026 Editors Menšík, M., Jaakkola, H., Tropmann-Frick, M., Kiyoki, Y., Sornlertlamvanich, V., Yoshida, N. Subjects Artificial Intelligence, Computer Sciences, Information Sciences Volume 418 of Frontiers in Artificial Intelligence and Applications more details
Book Intelligent Manufacturing and Cloud Computing Proceedings of the 2nd International Conference (ICIMCC 2025), Wuhan, China, 12- 14 December 2025 Publication date March 2026 Editors Jesus, I.S., Wang, K. Subjects Engineering, Technology, Computer Sciences Volume 91 of Advances in Transdisciplinary Engineering more details
Book Machine Learning and Artificial Intelligence Proceedings of MLIS 2025, Hong Kong, 24-26 November 2025 Publication date March 2026 Editors Grangetto, A., Martínez, A.G., Castro Rojas, E.A., Tallón-Ballesteros, A.J. Subjects Artificial Intelligence, Human-Computer Interaction Volume 420 of Frontiers in Artificial Intelligence and Applications more details
Book Information Modelling and Knowledge Bases XXXVII Publication date February 2026 Editors Menšík, M., Jaakkola, H., Tropmann-Frick, M., Kiyoki, Y., Sornlertlamvanich, V., Yoshida, N. Subjects Artificial Intelligence, Computer Sciences, Information Sciences Volume 418 of Frontiers in Artificial Intelligence and Applications more details
