Browse Results

Showing 29,026 through 29,050 of 54,515 results
Title Author ISBN Copyright Features Action
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
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

Refine Search

Showing 29,026 through 29,050 of 54,515 results