Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 3 results. Subscribe to this search

|
Basic model theory / Kees Doets Monografia Publication Stanford : CSLI Publications, cop. 1996 Description VIII, 130 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
From logic to logic programming / Kees Doets Monografia Publication Cambridge, Mass. : The MIT Press, cop. 1994 Description XII, 214 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
The Haskell road to logic, maths and programming / Kees Doets, Jan van Eijck Monografia Publication London : King's College Publications, cop. 2004 Description X, 426 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (3).

Place hold Add to cart