LIBRISTO
LIBROAMANTO
obowiązkowe
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 Poczta Polska 18.99 Paczkomat 13.99 InPost 12.99 Punkt DPD 13.99

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Intelligent Computer Mathematics

Język AngielskiAngielski
Książka Miękka
Książka Intelligent Computer Mathematics Peter Koepke
Kod Libristo: 49531041
Wydawnictwo Springer-Verlag GmbH, październik 2025
This book constitutes the refereed proceedings of the 18th International Conference on Intelligent C... Cały opis
? points 324 b
566.57
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru


Mogłoby Cię także zainteresować


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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Intelligent Computer Mathematics
Autor Peter Koepke
Język Angielski
Oprawa Książka - Miękka
Data wydania 2025
Liczba stron 455
EAN 9783032070203
ISBN 3032070201
Kod Libristo 49531041
Wydawnictwo Springer-Verlag GmbH
Waga 689
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?