Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Recent trends in data type specification / 5th Workshop... ; ed. D. Sannella, A. Tarlecki Monografia Publication Berlin : Springer-Verlag, cop. 1988 Description 259 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1).

Add to cart
Deduction : automated logic / Wolfgang Bibel ; colab. Steffen Holldobler, Gerd Neugebauer ; trad. Monika Lekuse, Donald Sannella Monografia Publication London : Academic Press, cop. 1993 Description 253 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart