Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 8 results. Subscribe to this search

|
Hybrid logic and its proof-theory / by Torben Braüner Monografia Publication Dordrecht : Springer, cop. 2011 Description XIII, 231 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Thirty five years of automating mathematics / ed. Fairouz D. Kamareddine Monografia Publication Dordrecht : Kluwer Academic Publishers, [imp. 2010] Description VIII, 318 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Proof theory and automated deduction / Jean Goubault-Larrecq, Ian Mackie Monografia Publication Dordrecht : Kluwer, cop. 1997 Description XV, 424 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
An introduction to mathematical logic and type theory : to truth through proof / by Peter B. Andrews Monografia Publication Dordrecht : Kluwer Academic Publishers, cop. 2002 Description XVIII, 390 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Proof theory of modal logic / ed. Heinrich Wansing Monografia Publication Dordrecht : Kluwer Academic Publishers, cop. 1996 Description X, 317 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan and Rob Nederpelt Monografia Publication London : Kluwer Academic Publishers, [imp. 2010] Description XIV, 357 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Automated deduction : a basis for applications / ed. Wolfgang Bibel, Peter H. Schmitt Monografia Publication Dordrecht : Kluwer Academic Publishers, cop. 1998 Description 3 v. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (3).

Place hold Add to cart
Fuzzy sets, logics and reasoning about knowledge / ed. Didier Dubois, Henri Prade, Erich Peter Klement Monografia Publication Dordrecht : Kluwer Academic Publishers, cop. 1999 Description VII, 423 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart