Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 3 results. Subscribe to this search

|
Finite model theory and its applications / Erich Grädel... [et al.] Monografia Publication Berlin : Springer, 2007 Description XI, 437 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
The classical decision problem / Egon Börger, Erich Grädel, Yuri Gurevich Monografia Publication Berlin : Springer, cop. 1997 Description XII, 482 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich Monografia Publication Berlin : Springer, imp. 2001 Description X, 482 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart