Logic for programming, artificial intelligence, and reasoning, 12th international conference, lpar 2005, montego bay, jamaica, december 2-6, 2005, proceedings
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|logic for programming, artificial intelligence, and reasoning, 12th international conference, lpar 2005, montego bay, jamaica, december 2-6, 2005, proceedings }}
- [[]]
bibtex
{{#vardefine:pagename|Logic for programming, artificial intelligence, and reasoning, 12th international conference, lpar 2005, montego bay, jamaica, december 2-6, 2005, proceedings }}{{#vardefine:key| }}
abstract:
download:
- paper:
- slides:
Facts about Logic for programming, artificial intelligence, and reasoning, 12th international conference, lpar 2005, montego bay, jamaica, december 2-6, 2005, proceedingsRDF feed
| Bibtype | proceedings + |
| Booktitle | LPAR + |
| Editor | Geoff Sutcliffe and Andrei Voronkov + |
| Key | dblp:conf/lpar/2005 + |
| Publisher | Springer + |
| Series | Lecture Notes in Computer Science + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/lpar/2005 + |
| Tag | Computer science + |
| Title | Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings + |
| Volume | 3835 + |
| Year | 2005 + |
