Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings (bibtex)
by Unknown
Reference:
Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings (Iliano Cervesato, Helmut Veith, Andrei Voronkov, eds.), volume 5330 of Lecture Notes in Computer Science, 2008, Springer.
Bibtex Entry:
@proceedings{DBLP:conf/lpar/2008,
  title = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
  International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008.
  Proceedings},
  year = {2008},
  booktitle = {LPAR},
  editor = {Iliano Cervesato and Helmut Veith and Andrei Voronkov},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5330},
  isbn = {978-3-540-89438-4}
}
Powered by bibtexbrowser