潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Answer set solving in practice / Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam.

出版发行项:

[San Rafael, Calif.] : Morgan & Claypool Publishers, [2013]

ISBN:

1608459713

ISBN:

9781608459711

载体形态项:

xxv, 212 pages : illustrations ; 24 cm.

附加统一题名:

Synthesis digital library of engineering and computer science.

丛编说明:

Synthesis lectures on artificial intelligence and machine learning ; #19

个人责任者:

Gebser, Martin, author.

附加个人名称:

Kaminski, Roland, author.

附加个人名称:

Kaufmann, Benjamin, author.

附加个人名称:

Schaub, Torsten, author.

附加团体名称:

Morgan & Claypool Publishers.

论题主题:

Declarative programming.

论题主题:

Logic programming.

中图法分类号:

TP18

一般附注:

"This volume is a printed version of a work that appears in the Synthesis digital library of engineering and computer science"--P. 4 of cover.

一般附注:

Includes abstract.

书目附注:

Includes bibliographical references (pages 183-205) and index.

载体形态附注:

Also available online.

豆瓣简介：