Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings (Lecture Notes in Computer Science #7180)
4790181
|
Nikolaj Bjørner
Andrei Voronkov
|
9783642287176 |
2012 |
|
|
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings (Lecture Notes in Computer Science #5330)
4689993
|
Iliano Cervesato
Helmut Veith
Andrei Voronkov
|
9783540894391 |
2008 |
|
|
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers (Lecture Notes in Computer Science #6355)
4772008
|
Edmund M. Clarke
Andrei Voronkov
|
9783642175114 |
2010 |
|
|
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Lecture Notes in Computer Science #9450)
2887636
|
Martin Davis
Ansgar Fehnker
Annabelle McIver
Andrei Voronkov
|
9783662488997 |
2015 |
Contains images
|
|
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings (Lecture Notes in Computer Science #4790)
4745642
|
Nachum Dershowitz
Andrei Voronkov
|
9783540755609 |
2007 |
|
|
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings (Lecture Notes in Computer Science #6397)
4740005
|
Christian G. Fermüller
Andrei Voronkov
|
9783642162428 |
2010 |
|
|
Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings (Lecture Notes in Computer Science #4246)
4829659
|
Miki Hermann
Andrei Voronkov
|
9783540482826 |
2006 |
|
|
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings (Lecture Notes in Computer Science #8312)
4773749
|
Ken McMillan
Aart Middeldorp
Andrei Voronkov
|
9783642452215 |
2013 |
|
|
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings (Lecture Notes in Computer Science #2250)
4782114
|
Robert Nieuwenhuis
Andrei Voronkov
|
9783540456537 |
2001 |
|
|
Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings (Lecture Notes in Computer Science #3835)
4664002
|
Geoff Sutcliffe
Andrei Voronkov
|
9783540316503 |
2005 |
|
|
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings (Lecture Notes in Computer Science #2850)
4739109
|
Moshe Vardi
Andrei Voronkov
|
9783540398134 |
2003 |
|
|
Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989 (Mathematical Sciences Research Institute Publications #21)
3742949
|
Yiannis N. Moschovakis
|
9781461228226 |
1992 |
|
|
Logic Functions and Equations: Binary Models for Computer Science
2351948
|
Christian Posthoff
Bernd Steinbach
|
9783030024208 |
2019 |
Contains images
|
|
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 |
|
|