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) -
Logic Program Synthesis and Transformation 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings /
Published: (1997)