Logic for programming, artificial intelligence, and reasoning
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:34991/Details |
|---|---|
| Ostali autori: | LPAR (Conference) (-) |
| Ostali autori: | Sutcliffe, Geoff (-), Voronkov, A. (Andreĭ), 1959- |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Berlin ; New York :
Springer,
c2005.
|
| Nakladnička cjelina: |
Lecture notes in computer science ;
3835. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Predmet: | |
| Online pristup: |
Table of contents only Restricted to SpringerLink subscribers Publisher description |
| LEADER | 02129cam a22004457a 4500 | ||
|---|---|---|---|
| 005 | 20130713153426.0 | ||
| 008 | 051027s2005 gw a b 101 0 eng d | ||
| 010 | |a 2005936393 | ||
| 016 | 7 | |a 977012506 |2 GyFmDB | |
| 020 | |a 354030553X (pbk.) | ||
| 020 | |a 9783540305538 | ||
| 035 | |a (OCoLC)ocm62462336 | ||
| 040 | |a OHX |c OHX |d CUS |d C$Q |d BAKER |d IXA |d HR-ZaFER |b hrv |e ppiak | ||
| 042 | |a lccopycat | ||
| 050 | 0 | 0 | |a QA76.63 |b .L735 2005b |
| 072 | 7 | |a QA |2 lcco | |
| 082 | 0 | 0 | |a 005.1/15 |2 22 |
| 111 | 2 | |a LPAR (Conference) |n (12th : |d 2005 : |c Montego Bay, Jamaica) | |
| 245 | 1 | 0 | |a Logic for programming, artificial intelligence, and reasoning : |b 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings / |c Geoff Sutcliffe, Andrei Voronkov (eds.). |
| 246 | 3 | 0 | |a LPAR 2005 |
| 260 | |a Berlin ; |a New York : |b Springer, |c c2005. | ||
| 300 | |a xiv, 744 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 3835. |a Lecture notes in artificial intelligence | |
| 504 | |a Includes bibliographical references and index. | ||
| 530 | |a Also issued online. | ||
| 650 | 0 | |a Logic programming |v Congresses. | |
| 650 | 0 | |a Automatic theorem proving |v Congresses. | |
| 650 | 0 | |a Artificial intelligence |v Congresses. | |
| 700 | 1 | |a Sutcliffe, Geoff. | |
| 700 | 1 | |a Voronkov, A. |q (Andreĭ), |d 1959- | |
| 830 | 0 | |a Lecture notes in computer science ; |v 3835. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 856 | 4 | 1 | |3 Table of contents only |u http://www.loc.gov/catdir/toc/fy0608/2005936393.html |
| 856 | 4 | 1 | |u http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3835 |z Restricted to SpringerLink subscribers |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0663/2005936393-d.html |
| 906 | |a 7 |b cbc |c copycat |d 2 |e ncip |f 20 |g y-gencatlg | ||
| 942 | |2 udc |c K | ||
| 955 | |a jf09 2006-05-31 z-processor |i jf09 2006-05-31 to sl |a aa05 2006-06-23 | ||
| 955 | |a pc17 2005-10-27 |a jp00 2006-02-11 |a jp20 2006-02-13 to Tech for full cat |a BFM ec01 2010-10-15 telework | ||
| 999 | |c 34991 |d 34991 | ||