Logic Functions and Equations: Binary Models for Computer Science
3852372
|
Christian Posthoff
Bernd Steinbach
|
9781402029387 |
2004 |
|
|
Logic Functions and Equations: Examples and Exercises
3735409
|
Bernd Steinbach
Christian Posthoff
|
9781402095955 |
2009 |
|
|
Logic Grammars (Symbolic Computation)
3743478
|
Harvey Abramson
Veronica Dahl
|
9781461236405 |
1989 |
|
|
Logic in Elementary Mathematics (Dover Books on Mathematics)
2054427
|
Robert M. Exner
Myron F. Rosskopf
|
9780486264226 |
2011 |
Contains images
|
Read Now
|
Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019) (Studies in Universal Logic)
5365084
|
Jean-Yves Béziau
Jean-Pierre Desclés
Amirouche Moktefi
Anca Christine Pascu
|
9783030944520 |
2022 |
Contains images
|
|
Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers (Lecture Notes in Computer Science #8984)
2884637
|
Martin Aher
Daniel Hole
Emil Jeřábek
Clemens Kupke
|
9783662469064 |
2015 |
Contains images
|
|
Logic, Language, and Computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers (Lecture Notes in Computer Science #7758)
4812047
|
Guram Bezhanishvili
Sebastian Löbner
Vincenzo Marra
Frank Richter
|
9783642369766 |
2013 |
|
|
Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers (Lecture Notes in Computer Science #6618)
4713605
|
Nick Bezhanishvili
Sebastian Löbner
Kerstin Schwabe
Luca Spada
|
9783642223037 |
2011 |
|
|
Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers (Lecture Notes in Computer Science #5422)
4669214
|
Peter Bosch
David Gabelaia
Jérôme Lang
|
9783642006654 |
2009 |
|
|
Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers (Lecture Notes in Computer Science #4363)
4829388
|
Balder D. Ten Cate
Henk W. Zeevat
|
9783540751441 |
2007 |
|
|
Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers (Lecture Notes in Computer Science #10148)
2290327
|
Helle Hvid Hansen
Sarah E. Murray
Mehrnoosh Sadrzadeh
Henk Zeevat
|
9783662543320 |
2017 |
Contains images
|
|
Logic, Language and Meaning: 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers (Lecture Notes in Computer Science #6042)
4827852
|
Maria Aloni
Harald Bastiaanse
Tikitu De Jager
Katrin Schulz
|
9783642142871 |
2010 |
|
|
Logic, Language and Meaning: 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers (Lecture Notes in Computer Science #7218)
4611017
|
Maria Aloni
Vadim Kimmelman
Floris Roelofsen
Galit Sassoon
Katrin Schulz
Matthijs Westera
|
9783642314827 |
2012 |
|
|
Logic, Language, and Probability: A Selection of Papers Contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971 (Synthese Library #51)
4688720
|
Radu J. Bogdan and Ilkka Niiniluoto
|
9789401025683 |
1973 |
Contains images
|
|
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay (Trends in Logic #5)
4607108
|
Hans Jürgen Ohlbach
U. Reyle
|
9789401145749 |
1999 |
|
|
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Lecture Notes in Computer Science #12300)
3710026
|
Vivek Nigam
Tajana Ban Kirigin
Carolyn Talcott
Joshua Guttman
Stepan Kuznetsov
Boon Thau Loo
Mitsuhiro Okada
|
9783030620776 |
2020 |
Contains images
|
|
Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings (Lecture Notes in Computer Science #6642)
4798863
|
Lev D. Beklemishev
Ruy De Queiroz
|
9783642209208 |
2011 |
|
|
Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings (Lecture Notes in Computer Science #6188)
4829625
|
Anuj Dawar
Ruy De Queiroz
|
9783642138249 |
2010 |
|
|
Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings (Lecture Notes in Computer Science #5110)
4609669
|
Wilfrid Hodges
Ruy De Queiroz
|
9783540699378 |
2008 |
|
|
Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings (Lecture Notes in Computer Science #10388)
2292397
|
Juliette Kennedy
Ruy J.G.B. de Queiroz
|
9783662553862 |
2017 |
Contains images
|
|
Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings (Lecture Notes in Computer Science #8652)
2878111
|
Ulrich Kohlenbach
Pablo Barceló
Ruy J. G. B. De Queiroz
|
9783662441459 |
2014 |
|
|
Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science #4576)
4796502
|
Daniel Leivant
Ruy De Queiroz
|
9783540734451 |
2007 |
|
|
Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings (Lecture Notes in Computer Science #8071)
4813459
|
Leonid Libkin
Ulrich Kohlenbach
Ruy De Queiroz
|
9783642399923 |
2013 |
|
|
Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings (Lecture Notes in Computer Science #10944)
2295696
|
Lawrence S. Moss
Ruy De Queiroz
Maricarmen Martinez
|
9783662576694 |
2018 |
Contains images
|
|
Logic, Language, Information, and Computation (Lecture Notes in Computer Science #7456)
4630209
|
Luke Ong
Ruy De Queiroz
|
9783642326219 |
2012 |
|
|