西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov, ed.

出版发行项:

Berlin ; New York : Springer-Verlag, c1992.

ISBN:

354055727X (Berlin : acid-free paper)

ISBN:

038755727X (New York : acid-free paper)

载体形态项:

xiv, 509 p. : ill. ; 25 cm.

丛编说明:

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

丛编统一题名:

Lecture notes in computer science ; 624.

丛编统一题名:

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

会议名称:

LPAR (1992 : Saint Petersburg, Russia)

附加个人名称:

Voronkov, A. (Andrei), 1959-

论题主题:

Automatic theorem proving-Congresses.

论题主题:

Logic programming-Congresses.

中图法分类号:

TP302.2-53

书目附注:

Includes bibliographical references.

豆瓣简介：