杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / Franz Baader, Andrei Voronkov (eds.).

出版发行项:

Berlin : Springer, c2005.

ISBN:

3-540-25236-3(paper)

载体形态项:

xi, 562 p. : ill. ; 24 cm.

变异题名:

LPAR 2004.

丛编说明:

Lecture notes in computer science, 0302-9743 ; 3452. Lecture notes in artificial intelligence.

丛编统一题名:

Lecture notes in computer science. Lecture notes in artificial intelligence.

丛编统一题名:

Lecture notes in computer science ; 3452.

会议名称:

LPAR 2004 (2005 : Montevideo, Uruguay).

附加个人名称:

Voronkov, A. (Andrei), 1959-.

附加个人名称:

Baader, Franz.

丛编团体名称:

20060609

论题主题:

Artificial intelligence-Congresses.

论题主题:

Logic programming-Congresses.

论题主题:

Automatic theorem proving-Congresses.

中图法分类号:

TP18

书目附注:

Includes bibliographical references and index.

载体形态附注:

Also issued online.

豆瓣简介：