Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

10% off

Late Knight Books and Services, LLC

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings

10% off

Late Knight Books and Services, LLC

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006, Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers

$116.99$129.99

10% off

Late Knight Books and Services, LLC

Applied Intelligence Second International Conference, ICAI 2024, Zhengzhou, China, November 22–25, 2024, Proceedings, Part I

$89.99$99.99

Web Information Systems Engineering – WISE 2025

10% off

Late Knight Books and Services, LLC

Web Information Systems Engineering – WISE 2025 26th International Conference, Marrakech, Morocco, December 15–17, 2025, Proceedings, Part II

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 9th International Conference, DASFAA 2004, Jeju Island, Korea, March 17-19, 2003, Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part I

Developments in Risk-based Approaches to Safety

10% off

Late Knight Books and Services, LLC

Developments in Risk-based Approaches to Safety Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006

10% off

Late Knight Books and Services, LLC

Lecture Notes in Networks and Systems: Proceedings of the International Conference on Business and Technology (ICBT2023), Volume 3

al miftah fi ilm al mantiq adham al asimi arabic logic book cover

46% off

Nasiri Books

Al-Miftah fi Ilm al-Mantiq | المفتاح في علم المنطق | أدهم العاصمي (Logic)

€4.92€9.05

10% off

Re-vived

Introduction To Logic

$36.00$40.00

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings

$215.10$239.00

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19–20, 2017, Proceedings

NATO Science Series II: Mathematics, Physics and Chemistry

10% off

Late Knight Books and Services, LLC

NATO Science Series II: Mathematics, Physics and Chemistry

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings

Communications in Computer and Information Science

10% off

Late Knight Books and Services, LLC

Communications in Computer and Information Science: 11th International Conference, ICIM 2025, London, UK, March 28–30, 2025, Revised Selected Papers, Part I

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing,China, July 22-27, 2007, Proceedings, Part II

10% off

Late Knight Books and Services, LLC

Synthese Library

Lecture Notes on Data Engineering and Communications Technologies

10% off

Late Knight Books and Services, LLC

Lecture Notes on Data Engineering and Communications Technologies: Proceedings of DaSET 2022

$224.99$249.99

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: Biomechanics, Locomotion, Perception, and Behavior

10% off

Late Knight Books and Services, LLC

Agentic Design Patterns: A Hands-On Guide to Building Intelligent Systems

10% off

Late Knight Books and Services, LLC

Lecture Notes in Physics: Proceedings of a Workshop Held at Bielefeld Germany, 10–14 November 1998

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

10% off

Late Knight Books and Services, LLC

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16–20, 2024, Proceedings, Part I

$76.49$84.99

Web Information Systems Engineering – WISE 2024

10% off

Late Knight Books and Services, LLC

Web Information Systems Engineering – WISE 2024 25th International Conference, Doha, Qatar, December 2–5, 2024, Proceedings, Part II

10% off

Late Knight Books and Services, LLC

Communications in Computer and Information Science: 43rd IBIMA Conference, IBIMA-AI 2024, Madrid, Spain, June 26–27, 2024, Revised Selected Papers, Part-II

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 8th Chinese Conference, PRCV 2025, Shanghai, China, October 15–18, 2025, Proceedings, Part XI

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 28th International Conference, Daejeon, South Korea, September 23–27, 2025, Proceedings, Part VI

10% off

Late Knight Books and Services, LLC

Lecture Notes in Electrical Engineering: Proceedings of the Sixteenth International Conference on Genetic and Evolutionary Computing, August 28-30, 2024, Miyazaki, Japan (Volume 1)

$224.99$249.99

Logic: A God-Centered Approach to the Foundation of Western Thought Poythress, Vern Sheridan cover image (1018242138159)

27% off

Westminster Bookstore

Logic: A God-Centered Approach to the Foundation of Western Thought

$40.00$55.00

10% off

Late Knight Books and Services, LLC

The International Library of Bioethics: Essays on Artificial Intelligence, Enhancement, Privacy, and Justice

GIFTSQUALITY LTD

Introduction to Logic - 3rd Edition

$17.99

GIFTSQUALITY LTD

The Logic Book 6Th Edition

$17.99

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings

10% off

Late Knight Books and Services, LLC

Trends in Logic: Trends in Logical Semantics

$107.99$119.99

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 4th Language and Technology Conference, LTC 2009, Roznan, Poland, November 6-8, 2009, Revised Selected Papers

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, Part XXIII

$89.99$99.99

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 8th European Conference on Machine Learning, Heraclion, Crete, Greece, April 25 - 27, 1995. Proceedings

10% off

Late Knight Books and Services, LLC

Communications in Computer and Information Science: 41st IBIMA International Conference, IBIMA-AI 2023, Granada, Spain, June 26–27, 2023, Revised Selected Papers

$107.99$119.99

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 22nd International Conference, DIMVA 2025, Graz, Austria, July 9–11, 2025, Proceedings, Part I

$58.49$64.99

10% off

Late Knight Books and Services, LLC

Algorithms and Data Structures 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 10th International Workshop, MLMI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings

Advanced Information and Knowledge Processing

10% off

Late Knight Books and Services, LLC

Advanced Information and Knowledge Processing

Bioinformatics Research and Applications

10% off

Late Knight Books and Services, LLC

Bioinformatics Research and Applications 16th International Symposium, ISBRA 2020, Moscow, Russia, December 1–4, 2020, Proceedings

10% off

Late Knight Books and Services, LLC

Empirical Reason and Sensory Experience

$143.99$159.99

Reformers Bookshop

Introduction to Logic

(1)

A$64.99

Ingram Academic & Professional

The Irrational Decision

$29.95

10% off

Late Knight Books and Services, LLC

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings

10% off

Late Knight Books and Services, LLC

Springer Tracts in Advanced Robotics: Selected Contributions of the Seventh International Workshop on the Algorithmic Foundations of Robotics

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 8th Chinese Conference, PRCV 2025, Shanghai, China, October 15–18, 2025, Proceedings, Part XII

Combinatorial Optimization and Applications

10% off

Late Knight Books and Services, LLC

Combinatorial Optimization and Applications First International Conference, COCOA 2007, Xi'an, China, August 14-16, 2007, Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18–20, 2024, Proceedings, Part X

$89.99$99.99

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2000 Austin, TX, USA, December 4-6, 2000 Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers

10% off

Late Knight Books and Services, LLC

Studies in Linguistics and Philosophy

10% off

Late Knight Books and Services, LLC

Springer Tracts in Advanced Robotics

Innovation in Scientific Research and Emerging Technologies

10% off

Late Knight Books and Services, LLC

Innovation in Scientific Research and Emerging Technologies: A Challenge to Ethics and Law

$116.99$129.99

10% off

Late Knight Books and Services, LLC

Lecture Notes in Physics: Proceedings of the 38. Internationale Universitätswochen für Kern- und Teilchenphysik, Schladming, Austria, January 9–16, 1999

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: Selected Papers

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science

$22.49$24.99

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 19th International Conference, WASA 2025, Tokyo, Japan, June 24–26, 2025, Proceedings, Part I

$224.99$249.99

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001. Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006, Proceedings

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: 31st International Computing and Combinatorics Conference, COCOON 2025, Chengdu, China, August 15–17, 2025, Proceedings, Part I

$71.99$79.99

10% off

Late Knight Books and Services, LLC

Lecture Notes in Computer Science: First United Kingdom Workshop, Salford, UK, January 12, 1995. Proceedings

10% off

Late Knight Books and Services, LLC

Springer Tracts in Advanced Robotics

10% off

Late Knight Books and Services, LLC

Theory and Decision Library A:

Springer Proceedings in Humanities and Social Sciences

10% off

Late Knight Books and Services, LLC

Springer Proceedings in Humanities and Social Sciences: Proceedings of the 11th International Conference on Topical Issues of Linguistics and Teaching Methods

$179.99$199.99

10% off

Late Knight Books and Services, LLC

Springer Proceedings in Physics: Proceedings ICRTMD 2015

Proceedings of the International Petroleum and Petrochemical Technology Conference 2019

10% off

Late Knight Books and Services, LLC

Proceedings of the International Petroleum and Petrochemical Technology Conference 2019