Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Higher order logic theorem proving and its applications : proceedings / International Workshop... ; ed. Luc J. M. Claesen, Michael J. C. Gordon Monografia Publication Amsterdam : North-Holland, 1993 Description XIII, 568 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Computer hardware description languages and their applications : proceddings / International Conference on... ; ed. David Agnew, Luc Claesen, Raul Camposano Monografia Publication Amsterdam : North-Holland, 1993 Description XIV, 604 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1).

Add to cart