Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Oktober 2025
Genre:	EDV / Informatik
	angewandte informatik / Artificial Intelligence / automated reasoning / automated theorem proving / Computer and Information Systems Applications / Computer Application in Social and Behavioral Sciences / Computers and Education / Design and Analysis of Algorithms / Formal Grammars / Formal Languages and Automata Theory / Formal Libraries / Formal Mathematics / Formalizations / Interactive Theorem Proving / Isabelle Prover / Language of Mathematics / Large Language Models / Lean Prover / Lehrmittel, Lerntechnologien, E-Learning / machine learning / Mathematical Knowledge Management / Natural Language Processing / Proof Assistants / Rocq Prover / Theoretische Informatik mehr...
ISBN:	9783032070203
EAN-Code:	9783032070203
Verlag:	Springer International Publishing
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D
Seiten:	470
Illustration:	XXIII, 470 p. 183 illus., 157 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6–11, 2025. The 24 full papers were presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in the following topical sections as follows : Automated Reasoning; Formal Libraries; Logical and Linguistic Foundations; Mathematical Knowledge Management; Neural Language Models; and Proof Assistants and Formalizations.