Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010

Andrei Voronkov; Geoff Sutcliffe; Matthias Baaz; Christian G Fermüller

Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010

Andrei Voronkov (Editor), Geoff Sutcliffe (Editor), Matthias Baaz (Editor), Christian G Fermüller (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	EPiC Series
Publisher	EasyChair
Volume	13
Publication status	Published - 2013

Publication series

Name	EPiC Series
Publisher	EasyChair

Access to Document

Cite this

@inproceedings{71a133c1b4a64650a6b07806f1a887d2,

title = "Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010",

author = "Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Ferm{\"u}ller, {Christian G}",

year = "2013",

language = "English",

volume = "13",

series = "EPiC Series",

publisher = "EasyChair",

booktitle = "EPiC Series",

address = "United Kingdom",

}

Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010. / Voronkov, Andrei (Editor); Sutcliffe, Geoff (Editor); Baaz, Matthias (Editor) et al.
EPiC Series. Vol. 13 EasyChair, 2013. (EPiC Series).

Research output: Chapter in Book/Conference proceeding › Conference contribution

TY - GEN

T1 - Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010

A2 - Voronkov, Andrei

A2 - Sutcliffe, Geoff

A2 - Baaz, Matthias

A2 - Fermüller, Christian G

PY - 2013

Y1 - 2013

M3 - Conference contribution

VL - 13

T3 - EPiC Series

BT - EPiC Series

PB - EasyChair

ER -