Logic for programming, artificial intelligence, and reasoning
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:34992/Details |
|---|---|
| Ostali autori: | LPAR (Conference) (-) |
| Ostali autori: | Baader, Franz (-), Voronkov, A. (Andreĭ), 1959- |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Berlin ; New York :
Springer,
c2005.
|
| Nakladnička cjelina: |
Lecture notes in computer science ;
3452. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Predmet: | |
| Online pristup: |
Restricted to Springer LINK subscribers Publisher description |
| LEADER | 01888cam a22003857a 4500 | ||
|---|---|---|---|
| 005 | 20130713153426.0 | ||
| 008 | 050201s2005 gw a b 001 0 eng d | ||
| 010 | |a 2005921519 | ||
| 020 | |a 3540252363 | ||
| 035 | |a (OCoLC)ocm58654678 | ||
| 040 | |a LWU |c LWU |d C$Q |d HR-ZaFER |b hrv |e ppiak | ||
| 042 | |a lccopycat | ||
| 050 | 0 | 0 | |a QA76.63 |b .L735 2005 |
| 082 | 0 | 0 | |a 005.1/15 |2 22 |
| 111 | 2 | |a LPAR (Conference) |n (11th : |d 2005 : |c Montevideo, Uruguay) | |
| 245 | 1 | 0 | |a Logic for programming, artificial intelligence, and reasoning : |b 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / |c Franz Baader, Andrei Voronkov (eds.). |
| 246 | 3 | 0 | |a LPAR 2004 |
| 260 | |a Berlin ; |a New York : |b Springer, |c c2005. | ||
| 300 | |a xi, 562 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 3452. |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 Baader, Franz. | |
| 700 | 1 | |a Voronkov, A. |q (Andreĭ), |d 1959- | |
| 830 | 0 | |a Lecture notes in computer science ; |v 3452. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 856 | 4 | 1 | |u http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3452 |z Restricted to Springer LINK subscribers |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0663/2005921519-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 pc17 2005-02-01 |a jx00 2005-06-27 |a jx28 2005-07-20 z-processor |i jx28 2005-07-20 to jf01 |a jf01 2005-07-26 (Review) |a aa29 2005-08-18 |a BFM ec01 2010-10-15 telework | ||
| 999 | |c 34992 |d 34992 | ||