Practical reasoning /

Bibliographic Details
Corporate Author:	International Conference on Formal and Applied Practical Reasoning Bonn, Germany
Other Authors:	Gabbay, Dov M., 1945- (ed.), Ohlbach, Hans Jürgen (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1996.
Series:	Lecture notes in computer science ; v. 1085 Lecture notes in computer science ; Lecture notes in artificial intelligence
Subjects:	Inteligencia artificial Artificial intelligence Lógica matemática-Computación Mathematical logic-Computation

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908123340.0
008	111221s1996 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540613137
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a International Conference on Formal and Applied Practical Reasoning \|d (1996 : \|c Bonn, Germany)
245	1	0	\|a Practical reasoning / \|c ed. Dov M. Gabbay, Hans Jürgen Ohlbach.
260			\|a Berlin : \|b Springer, \|c 1996.
300			\|a xv, 719 p. : \|b il. ; \|c 24 cm.
490	1		\|a Lecture notes in computer science ; \|v v. 1085
490	1		\|a Lecture notes in artificial intelligence
650		4	\|a Inteligencia artificial
650		4	\|a Artificial intelligence
650		4	\|a Lógica matemática-Computación
650		4	\|a Mathematical logic-Computation
700	1		\|9 5713 \|a Gabbay, Dov M., \|e ed. \|d 1945-,
700	1		\|9 12614 \|a Ohlbach, Hans Jürgen, \|e ed.
830		0	\|a Lecture notes in computer science ; \|v v. 1085
830		0	\|a Lecture notes in computer science ; \|p Lecture notes in artificial intelligence
942			\|c LIBRO \|2
945			\|a AB
952			\|0 0 \|1 0 \|4 0 \|6 C_LNAI_V__1085_000000000000000 \|7 0 \|9 10980 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNAI v. 1085 \|p 15544 \|r 2008-06-09 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 8592 \|d 8592