Filtre:

Cărți de Josef Urban

Automated Reasoning with Analytic Tableaux and Related Methods

Lecture Notes in Computer Science, nr. 14278

Editat de Revantha Ramanayake et al.

14 sep 2023

Preț: 305^.38 lei 381^.73 lei

43-57 zile

-20%

Intelligent Computer Mathematics

Lecture Notes in Computer Science, nr. 8543

Editat de Stephen M. Watt et al.

28 iul 2014

Preț: 331^.38 lei 414^.22 lei

43-57 zile

-20%

Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6824

Editat de James H. Davenport et al.

18 iul 2011

Preț: 321^.81 lei 402^.26 lei

43-57 zile

-20%