Algorithmic learning theory : Proceedings /

Bibliographic Details
Corporate Author:	ALT '95 Fukuoka
Other Authors:	Jantke, Klaus P. (ed.), Shinohara, Takeshi (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1995.
Series:	Lecture notes in computer science ; v. 997 Lecture notes in computer science. Lecture notes in artificial intelligence
Subjects:	Inteligencia artificial. Artificial intelligence. Teoremas-Deducción y demostración. Theorem-Deduction and proving.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20190808175128.0
008	111222s1995 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
952			\|0 0 \|1 0 \|2 \|4 0 \|6 C_LNAI_V__997_000000000000000 \|7 0 \|9 5161 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e Asoc. Coop. FAMAF \|l 0 \|o C LNAI v. 997 \|p 12321 \|r 2013-08-22 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 3843 \|d 3843
020			\|a 3540604545
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a ALT '95 \|n (6 : \|d 1995 : \|c Fukuoka) \|9 20253
245	1	0	\|a Algorithmic learning theory : \|b Proceedings / \|c ed. Klaus P. Jantke, Takeshi Shinohara.
260			\|a Berlin : \|b Springer, \|c 1995.
300			\|a xv, 318 p. : \|b il. ; \|c 24 cm.
490	1		\|a Lecture notes in computer science ; \|v v. 997
490	1		\|a Lecture notes in artificial intelligence
650		4	\|a Inteligencia artificial.
650		4	\|a Artificial intelligence.
650		4	\|a Teoremas-Deducción y demostración.
650		4	\|a Theorem-Deduction and proving.
700	1		\|9 8230 \|a Jantke, Klaus P., \|e ed.
700	1		\|9 15899 \|a Shinohara, Takeshi, \|e ed.
830		0	\|a Lecture notes in computer science ; \|v v. 997
830		0	\|a Lecture notes in computer science. \|p Lecture notes in artificial intelligence
942			\|c LIBRO \|2 CCS
945			\|a AB
945			\|a MCR \|d 2011-12-22