Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28 31, 1997 : proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997. The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of...
保存先:
| 第一著者: | |
|---|---|
| 団体著者: | |
| その他の著者: | , |
| フォーマット: | Livre numérique |
| 言語: | Anglais |
| 出版事項: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| シリーズ: | Lecture notes in computer science. Lecture notes in artificial intelligence
1265 |
| 主題: | |
| オンライン･アクセス: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 注記: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic programming and nonmonotonic reasoning, 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 1997, proceedings, Jürgen Dix, Ulrich Furbach, Anil Nerode, (eds.), 1997, New York, Springer, 1 vol. (X-452 p.), Lecture notes in computer science, 3-540-63255-7 • Logic Programming and Nonmonotonic Reasoning, Texte imprimé, 9783662211472 |