Durchsuche "Logic" (Zeige 961 - 980 von 2416 Ergebnissen)

Parts and Wholes in the Contemporary Scientific Context

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings

6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings

26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

With Isabelle/HOL

22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

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

24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected Papers

15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings

PeHealth 2016, I3A 2016, AIED 2016, AI4T 2016, IWEC 2016, and RSAI 2016, Phuket, Thailand, August 22-23, 2016, Revised Selected Papers

17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I

9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers

6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings