Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 ; proceedings /
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Berlin :
Springer,
2007.
|
| Series: | Lecture notes in computer science ;
4483. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Materias: | |
| Acceso en línea: | Table of contents only Restricted to SpringerLink subscribers Publisher description |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 01794cam a22003974a 4500 | ||
|---|---|---|---|
| 001 | DCC.dcic001583 | ||
| 008 | 070319s2007####gw#a#####b####101#0#eng#d | ||
| 005 | 20151130134901.0 | ||
| 245 | 1 | 0 | |a Logic programming and nonmonotonic reasoning : |b 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 ; proceedings / |c Chitta Baral, Gerhard Brewka, John Schlipf (eds.). |
| 260 | |a Berlin : |b Springer, |c 2007. | ||
| 300 | |a ix, 326 p. : |b il. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 4483. |a Lecture notes in artifical intelligence | |
| 500 | |a International conference proceedings. | ||
| 504 | |a Incluye referencias bibliográficas and author index. | ||
| 530 | |a Also issued online. | ||
| 020 | |a 9783540721994 (pbk.) | ||
| 020 | |a 3540721991 (pbk.) | ||
| 111 | 2 | |a LPNMR 2007 |d (2007 : |c Tempe, Ariz.) | |
| 700 | 1 | |a Baral, Chitta. | |
| 700 | 1 | |a Brewka, Gerhard. | |
| 700 | 1 | |a Schlipf, John. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 4483. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 246 | 3 | 0 | |a LPNMR 2007 |
| 082 | 0 | 0 | |a 005.1/15 |2 22 |
| 650 | 0 | |a Logic programming |v Congresses. | |
| 650 | 0 | |a Nonmonotonic reasoning |v Congresses. | |
| 010 | |a 2007925046 | ||
| 016 | 7 | |a 983896690 |2 GyFmDB | |
| 040 | |a OHX |c OHX |d C$Q |d YDXCP |d BAKER |d BTCTA |d DLC | ||
| 050 | 0 | 0 | |a QA76.63 |b .L74 2007 |
| 856 | 4 | 1 | |3 Table of contents only |u http://www.loc.gov/catdir/toc/fy0714/2007925046.html |
| 856 | 4 | 1 | |u http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4483 |z Restricted to SpringerLink subscribers |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0826/2007925046-d.html |
| 859 | |a DCIC |b BIB. COMPUTACION |p 1924 |t 1 | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 1926 |t 2 | ||