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ț: 379^.01 lei 473^.76 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ț: 323^.10 lei 403^.87 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ț: 325^.00 lei 406^.25 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ț: 324^.54 lei 405^.68 lei

6-8 săpt.

-20%