Practical reasoning : proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3-7, 1996 / Dov M. Gabbay, Hans Jurgen Ohlbach, ed. lit..
- Berlin : Springer , cop. 1996 .
- XV, 719 p. : il. ; 24 cm.
- (Lecture notes in computer science)
. 1085. Lecture notes in artificial intelligence
ISBN 3-540-61313-7
Demonstração de teoremas
LCC Q334
ISBN 3-540-61313-7
Demonstração de teoremas
LCC Q334