Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Thirty five years of automating mathematics / ed. Fairouz D. Kamareddine Monografia Publication Dordrecht : Kluwer Academic Publishers, [imp. 2010] Description VIII, 318 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan and Rob Nederpelt Monografia Publication London : Kluwer Academic Publishers, [imp. 2010] Description XIV, 357 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart