Cărți de William M. Farmer

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Computer Science Foundations and Applied Logic

Autor William M. Farmer

3 ian 2024

Preț: 383^.59 lei 479^.48 lei

6-8 săpt.

-20%

Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11006

Editat de Florian Rabe et al.

18 iul 2018

Preț: 326^.99 lei 408^.74 lei

6-8 săpt.

-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ț: 328^.93 lei 411^.17 lei

6-8 săpt.

-20%

Mathematical Knowledge Management: 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4108

Editat de Jonathan Borwein et al.

26 iul 2006

Preț: 328^.46 lei 410^.58 lei

6-8 săpt.

-20%