Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Ponad 4 miliony tytułów w języku angielskim i innych językach! Odkryj swoją nową historię już dziś!

Sprawdź status swojego zamówienia

Skontaktuj się z nami

Intelligent Computer Mathematics

Name: Intelligent Computer Mathematics
Brand: Springer-Verlag GmbH
SKU: 9783032070203
Price: 550.15 PLN
Availability: InStock

Autor: Peter Koepke

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag GmbH

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

550.15 zł

This book constitutes the refereed proceedings of the 18th International Conference on Intelligent C...

Informacje o książce

Autor

Peter Koepke

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2025

strony

455

EAN

9783032070203

ISBN

3032070201

Enbook ID

49531041

Wydawca

Springer-Verlag GmbH

Waga

689

Pełny opis

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.

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Intelligent Computer Mathematics

Informacje o książce

Pełny opis

Możesz być zainteresowany

Flatfishes - Biology and Exploitation 2e

Burning and Shining Lights or Memoirs of Eminent Ministers of Christ

Coloring Geometric Images