Logic Programming and Nonmonotonic Reasoning 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings /
| Corporate Author: | SpringerLink (Online service) |
|---|---|
| Other Authors: | Gelfond, Michael (Editor, http://id.loc.gov/vocabulary/relators/edt), Leone, Nicole (Editor, http://id.loc.gov/vocabulary/relators/edt), Pfeifer, Gerald (Editor, http://id.loc.gov/vocabulary/relators/edt) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1999.
|
| Edition: | 1st ed. 1999. |
| Series: | Lecture Notes in Artificial Intelligence ;
1730 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Logic Programming and Nonmonotonic Reasoning 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings /
Published: (2001) -
Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings /
Published: (1997) -
Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings /
Published: (2001) -
Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings /
Published: (2000) -
Principles and Practice of Constraint Programming - CP98 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings /
Published: (1998)