Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
No cover image available
Automated theorem-proving in non-classical logics / Paul B. Thistlewaite, Michael A. M. McRobbie, Robert K. Meyer Monografia Publication London : Pitman, 1988 Description 154 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Automated deduction - Cade-13 : proceedings / 13th International Conference... ; ed. M. A. McRobbie, J. K. Slaney Monografia Publication Berlin : Springer-Verlag, cop. 1996 Description XV, 764 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart