Durchsuche "Logic" (Zeige 21 - 40 von 2401 Ergebnissen)

15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings

10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings

4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers

20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Mathematik im Spiel - Methoden, Ergebnisse und Grenzen

26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings

18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings

12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings.

7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday

14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings

Ein Leitfaden insbesondere für Informatiker