| Original language | English |
|---|---|
| Publisher | EasyChair |
| Number of pages | 130 |
| Publication status | Published - 2015 |
Publication series
| Name | EPiC Series in Computing |
|---|---|
| Publisher | EasyChair |
| Volume | 35 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
LPAR-20: 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
- Ansgar Fehnker (Editor)
- , Annabelle McIver (Editor)
- , Geoff Sutcliffe (Editor)
- , Andrei Voronkov (Editor)
Research output: Book/Report › Book editing › Academic