Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 3 results. Subscribe to this search

|
Logic for problem solving / Robert Kowalski Monografia Publication New York : North-Holland, cop. 1979 Description 287 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1).

Add to cart
No cover image available
Logic for problem solving / Robert Kowalski Monografia Publication New York : North-Holland, imp. 1983 Description 287 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
5th Conference on Automated Deduction / ed. W. Bibel, R. Kowalski Monografia Publication Berlin : Springer-Verlag, 1980 Description VII, 385 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart