Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 3 results. Subscribe to this search

|
Type theory and formal proof : an introduction / Rob Nederpelt, Herman Geuvers Monografia Publication Cambridge : Cambridge University Press, cop. 2014 Description XXV, 436 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Types for proofs and programs : selected papers / International Workshop, TYPES 2002 ; eds. Herman Geuvers, Freek Wiedijk Monografia Publication Berlin : Springer, cop. 2003 Description VIII, 330 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Selected papers on automath / ed. R. P. Nederpelt, J. H. Geuvers, R. C. De Vrijer ; colab. L. S. Van Benthem Jutting, D. T. Van Daalen Monografia Publication Amsterdam : Elsevier, 1994 Description XIX, 1024 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart