The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

New to eBooks.com?

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books
Logic programming

Most popular at the top

  • Visual Basic Design Patternsby Mark Grand; Brad Merrill

    Wiley 2005; US$ 45.00

    Design Patterns are a type of pattern used in the initial design phase of an object-oriented development project Documents 46 Visual Basic .NET design patterns, including 20 that have never before been published Features case studies that demonstrate how to use design patterns effectively in the real world-and even explains where not to use design... more...

  • Inductive Logic Programmingby Stephen Muggleton; Ramon Otero; Alireza Tamaddoni-Nezhad

    Springer 2007; US$ 84.95

    This book constitutes the thoroughly refereed post-proceedings of the 16th International Conference on Inductive Logic Programming, ILP 2006, held in Santiago de Compostela, Spain, in August 2006. The 27 revised full papers presented together with 5 invited papers and the extended abstracts of 7 special issue papers were carefully reviewed and selected... more...

  • Principles of Logic and Logic Programmingby G. Metakides; A. Nerode

    Elsevier Science 1996; US$ 225.00

    Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed. With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation. Hence, the first... more...

  • Logic Programmingby Patricia M. Hill; David S. Warren

    Springer 2009; US$ 105.00

    This book constitutes the refereed proceedings of the 25th International Conference on Logic Programming, ICLP 2009, held in Pasadena, CA, USA, in July2009. The 29 revised full papers together with 9 short papers, 4 invited talks, 4 invited tutorials, and the abstracts of 18 doctoral consortium articles were carefully reviewed and selected from 69... more...

  • Answer Set Programming for Continuous Domainsby Jeroen Janssen; Steven Schockaert; Dirk Vermeir

    Springer 2012; US$ 139.00

    "Answer set programming (ASP)" is a declarative language tailored towards solving combinatorial optimization problems. It has been successfully applied to e.g. planning problems, configuration and verification of software, diagnosis and database repairs. However, ASP is not directly suitable for modeling problems with continuous domains.... more...

  • Non-Deterministic Concurrent Logic Programming in Pandoraby R. Bahgat

    World Scientific Publishing Company 1993; US$ 128.00

    This monograph is the first comprehensive study of the design, application, and implementation of Pandora, a new parallel logic programming language. Pandora combines stream and-parallelism with don't-know non-determinism in a unified and efficient manner. As a result, it provides a programming paradigm of non-deterministic concurrent communicating... more...

  • Mathematical Aspects of Logic Programming Semanticsby Pascal Hitzler; Anthony Seda

    CRC Press 2010; US$ 109.95

    ? Much of the material has been generated by [the authors?] own collaboration over the past decade, but they also integrate research results by others. A major feature is that they significantly transcend the tools and methods from the order theory traditionally used in this context, to include non-traditional methods from mathematical analysis depending... more...

  • A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applicationsby Naeem Khalid Janjua

    Springer 2014; US$ 189.00

    This book reports on the development and validation of a generic defeasible logic programming framework for carrying out argumentative reasoning in Semantic Web applications (GF@SWA). The proposed methodology is unique in providing a solution for representing incomplete and/or contradictory information coming from different sources, and reasoning with... more...

  • Embedded Firmware Solutionsby Vincent Zimmer; Jiming Sun; Marc Jones; Stefan Reinauer

    Apress 2015; US$ 27.99

    Embedded Firmware Solutions is the perfect introduction and daily-use field guide--for the thousands of firmware designers, hardware engineers, architects, managers, and developers--to Intel’s new firmware direction (including Quark coverage), showing how to integrate Intel® Architecture designs into their plans. Featuring hands-on... more...

  • A Combined Data and Power Management Infrastructureby Jens Eickhoff

    Springer 2013; US$ 129.00

    This book describes the development and design of a unique combined data and power management infrastructure The use in small satellites gives some particular requirements to the systems like potential hardware failure robustness and handling of different types of external analog and digital interfaces. These requirements lead to a functional merge... more...