Intelligent Computer Mathematics 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	CICM (VerfasserIn)
Weitere Verfasser:	Kamareddine, Fairouz (HerausgeberIn), Sacerdoti Coen, Claudio (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2021
Schriftenreihe:	Lecture notes in computer science 12833
Schlagworte:	Konferenzschrift > Mathematik > Formalisierung > Automatisches Beweisverfahren > Klassifikation
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	xx, 248 Seiten Illustrationen, Diagramme
ISBN:	9783030810962 978-3-030-81096-2