Browse Results

Showing 29,651 through 29,675 of 55,640 results
Title Author ISBN Copyright Features Action
Logic Circuit Design: Selected Methods 4704908 Shimon P. Vingron 9783642276576 2012 Contains images
Logic Circuit Design: Selected Topics and Methods 5941137 Shimon P. Vingron 9783031406737 2024 Contains images
Logic Colloquium: Symposium on Logic held at Boston, 1972-73 (Lecture Notes in Mathematics #453) 4774514 R. Parikh 9783540374831 1975
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday (Lecture Notes in Computer Science #12750) 5920786 Alexander Raschke Elvinia Riccobene Klaus-Dieter Schewe 9783030760205 2021 Contains images
Logic for Applications (Texts in Computer Science) 3863443 Anil Nerode Richard A. Shore 9781461206491 1997
Logic for Computer Scientists (Modern Birkhäuser Classics) 3826772 Uwe Schöning 9780817647636 2008
Logic for Concurrency and Synchronisation (Trends in Logic #18) 3716649 R. J. De Queiroz 9780306480881 2003
Logic For Dummies 3015033 Mark Zegarelli 9780470120361 2007
Logic for Kids: All Aboard the Therefore Train! 5367560 Arnold Cusmariu 9781000821918 2023
Logic for Kids: All Aboard the Therefore Train! 5367561 Arnold Cusmariu 9781000821932 2023 Contains images
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science #1955) 4679803 Michel Parigot Andrei Voronkov 9783540444046 2000
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings (Lecture Notes in Computer Science #3452) 4771076 Franz Baader Andrei Voronkov 9783540322757 2005
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

Refine Search

Showing 29,651 through 29,675 of 55,640 results