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ț: 390^.14 lei 487^.67 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ț: 332^.57 lei 415^.71 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ț: 334^.53 lei 418^.16 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ț: 334^.05 lei 417^.56 lei

6-8 săpt.

-20%