New Releases

Language

Ebook Format

DRM

1 - 4 of 4 results for "Geuvers,"

Type Theory and Formal Proof: An Introduction
US$59.50

A gentle introduction for graduate students and researchers in the art of formalizing mathematics on...

Logic Colloquium 2006
US$99.99

The 2006 proceedings from the Annual European Meeting of the Association for Symbolic Logic, also...

Selected Papers on Automath
US$72.95

The present volume contains a considered choice of the existing literature on Automath. Many of the...

Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Intelligent Computer Mathematics

10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent...