Biblioteca da Universidade do Minho

Your cart is empty.

Refine your search

Your search returned 3 results. Subscribe to this search

|
Proof and computation / ed. Helmut Schwichtenberg Monografia Publication Berlin : Springer-Verlag, 1995 Description 470 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Logic of computation / ed. Helmut Schwichtenberg Monografia Publication Berlin : Springer, cop. 1997 Description VI, 394 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Computational logic / ed. Ulrich Berger, Helmut Schwichtenberg Monografia Publication Berlin : Springer-Verlag, 1999 Description 444 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart