|
VSL 2014: VIENNA SUMMER OF LOGIC 2014
| Dmitriy Traytel Pages in this Program IJCAR on Saturday, July 19th, 2014 | IJCAR Program | Isabelle on Sunday, July 13th, 2014 | Isabelle Program | ITP on Monday, July 14th, 2014 | ITP on Tuesday, July 15th, 2014 | ITP on Wednesday, July 16th, 2014 | ITP Program | Program | Program for Monday, July 14th, 2014 | Program for Saturday, July 19th, 2014 | Program for Sunday, July 13th, 2014 | Program for Tuesday, July 15th, 2014 | Program for Wednesday, July 16th, 2014 |
|
|
|