1. Symbolic logic and mechanical theorem proving by Chang, Chin-Liang Publication: New York Academic Press 1973 . xv, 331p 24 cm Date:1973 Availability: Copies available: IST - Biblioteca do Complexo (1),

Actions:
2. Automated reasoning :   Publication: Englewood Cliffs, N.J : Prentice-Hall, 1984 . xiv, 482 p : 24 cm Date:1984 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
3. Logics in AI :   Publication: Berlin : Springer-Verlag, 1991 . ix, 562 p.: 25 cm Date:1991 Availability: No items available:

Actions:
4. Automated theorem proving / by Bibel, Wolfgang, Publication: Wiesbaden : Vieweg & Sohn, 1987 , 2.,rev. ed. Date:1987 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
5. Practical reasoning :   Publication: Berlin : Springer, 1996 . xv, 719 p. : 24 cm. Date:1996 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
6. Deduction systems in artificial intelligence /   Publication: Chichester : Ellis Horwood, 1989 . 238 p. : , Translation of: Deduktionssysteme. 25 cm. Date:1989 Availability: Copies available: IST - Biblioteca de Elect.Comp. e Inf. (1),

Actions:
7. Automated reasoning : by Wos, Larry. Publication: Englewood Cliffs, N.J. : Prentice-Hall, 1988 . xiii, 319 p. ; , Companion vol. to: Automated reasoning : introduction and applications / Larry Wos ... [et al.]. c1984. | Includes index. 23 cm. Date:1988 Availability: Copies available: IST - Biblioteca do Tagus Park (1),

Actions:

© 2012, Universidade de Lisboa
Todos os direitos reservados - All rights reserved
Languages: