| Original language | English |
|---|---|
| Title of host publication | EPiC Series |
| Publisher | EasyChair |
| Volume | 10 |
| Publication status | Published - 2012 |
Publication series
| Name | EPiC Series |
|---|---|
| Publisher | EasyChair |
Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012
Andrei Voronkov (Editor)
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution