Browsing “Logic” (Showing 981 - 1000 of 2114 results)

Word Length Studies and Related Issues

10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings

10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

Assessing Philosophy of Logic and Mathematics Today

28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings

International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Petri-Netze

An International Perspective

17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

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

Case Studies Using the B Method

Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings