First Page | Document Content | |
---|---|---|
![]() Date: 2013-12-11 10:24:19Federated Logic Conference One Tambon One Product IEEE Symposium on Logic in Computer Science Kurt Gödel Society City Airport Train Vienna Kurt Gödel Schengen Area Europe Political geography Austria | Add to Reading List |
![]() | FLOC 2014 Jan Otop IST Austria September 3, 2013DocID: 18HX8 - View Document |
![]() | 3 pages ABSTRACT: INSTRUCTIONS TO AUTHORS An abstract (maximum 1 page) is required for each platform presentation or poster presentation. Submit the abstract for your presentation as soon as possible to env-abstract@AAScDocID: IUyO - View Document |
![]() | 3 pages ABSTRACT: INSTRUCTIONS TO AUTHORS An abstract (maximum 1 page) is required for each platform presentation or poster presentation. Submit the abstract for your presentation no later than February 28, 2007 to envabDocID: IUbI - View Document |
![]() | J.A. van Maanen Laudatio for Ivor Grattan-GuinnessDocID: 4jkF - View Document |
![]() | Microsoft Word - tHPL Ivor Grattan-Guinness.docDocID: 1sMA - View Document |