Durchsuche "Logic" (Zeige 941 - 960 von 2416 Ergebnissen)

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers

4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings

10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers

Tutorials on Theory and Problems

20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings