机读格式显示(MARC)

• 000 01532cam a2200373 i 4500

• 001 0000836553

• 003 CAL

• 005 20250907172600.0

• 008 130208s2013 caua b 001 0 eng d

• 020 __ |a 1608459713 |q paperback

• 020 __ |a 9781608459711 |q paperback

• 040 __ |a YDXCP |b eng |c YDXCP |e rda |d BTCTA |d CIN

• 050 _4 |a QA76.615 |b .A58 2013

• 090 __ |a TP18/X8

• 093 __ |a TP18 |2 5

• 100 1_ |a Gebser, Martin, |e author.

• 245 10 |a Answer set solving in practice / |c Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam.

• 260 __ |a [San Rafael, Calif.] : |b Morgan & Claypool Publishers, |c [2013]

• 300 __ |a xxv, 212 pages : |b illustrations ; |c 24 cm.

• 336 __ |a text |b txt |2 rdacontent

• 337 __ |a unmediated |b n |2 rdamedia

• 338 __ |a volume |b nc |2 rdacarrier

• 490 1_ |a Synthesis lectures on artificial intelligence and machine learning ; |v #19

• 500 __ |a "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.

• 500 __ |a Includes abstract.

• 504 __ |a Includes bibliographical references (pages 183-205) and index.

• 530 __ |a Also available online.

• 650 _0 |a Declarative programming.

• 650 _0 |a Logic programming.

• 700 1_ |a Kaminski, Roland, |e author.

• 700 1_ |a Kaufmann, Benjamin, |e author.

• 700 1_ |a Schaub, Torsten, |e author.

• 710 2_ |a Morgan & Claypool Publishers.

• 730 0_ |a Synthesis digital library of engineering and computer science.