The Leading eBooks Store Online

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

New to

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

  • Quantitative Logic and Soft Computingby Bing-Yuan Cao; Shuili Chen; Guojun Wang; Sicong Guo

    Springer Berlin Heidelberg 2010; US$ 609.00

    Admittedly, the notion ?intelligence or intelligent computing? has been around us for several decades, implicitly indicating any non-conventional methods of solving complex system problems such as expert systems and intelligent control techniques that mimic human skill and replace human operators for automation. Various kinds of intelligent methods... more...

  • Software Engineeringby Bertrand Meyer; Martin Nordio

    Springer International Publishing 2016; US$ 60.00

    TheLASER Summer School is intended for professionals from industry (engineers andmanagers) as well as university researchers, including PhD students.Participants learn about the most important software technology advances from pioneersin the field.  Since its inception in 2004, the LASER Summer Schoolhas focused on an important software engineering... more...

  • Theoretical Aspects of Computing - ICTAC 2015by Martin Leucker; Camilo Rueda; Frank D. Valencia

    Springer International Publishing 2015; US$ 107.00

    This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015 held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and s short papers were carefully reviewed and selected from 93 submissions. The papers cover... more...

  • Answer Set Programming for Continuous Domains: A Fuzzy Logic Approachby Jeroen Janssen; Steven Schockaert; Dirk Vermeir; Martine De Cock

    Atlantis Press 2012; US$ 149.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. Such problems... more...

  • The Irish Language in the Digital Ageby Georg Rehm; Hans Uszkoreit

    Springer Berlin Heidelberg 2012; US$ 69.95

    This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of language technology in Europe varies between languages. Consequently, the actions that are required to further support research and development... more...

  • Logic And Declarative Languageby M. Downward

    Taylor and Francis 2004; US$ 62.95

    Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the... more...

  • Logic-Based Program Synthesis and Transformationby Germán Puebla

    Springer Berlin Heidelberg 2007; US$ 89.99

    This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14 revised full papers cover tools for program development, partial evaluation and program... more...

  • Logic for Programming, Artificial Intelligence, and Reasoningby Nachum Dershowitz; Andrei Voronkov

    Springer Berlin Heidelberg 2007; US$ 139.00

    This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues... more...

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

    CRC Press 2010; US$ 109.95

    Covering the authors? own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods... more...

  • Modelling Computing Systemsby Faron Moller; Georg Struth

    Springer London 2013; US$ 69.99

    Reviewing concepts of games and strategies, this book provides a paradigm for understanding computation, explaining the mathematics and modeling of computing systems through exercises and examples. Discusses standard topics, games and winning strategies. more...