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

  • Evolving Knowledge Basesby J.A. Leite

    IOS Press 2003; US$ 73.00

    An Evolving Knowledge Base (EKB) is capable of self evolution by means of its internally specified behaviour. In this thesis the author incrementally specifies, semantically characterizes and illustrates with examples, the concepts and tools necessary to the development of EKBs. more...

  • An Inductive Logic Programming Approach to Statistical Relational Learningby K. Kersting

    IOS Press 2006; US$ 131.00

    Talks about Logic Programming, Uncertainty Reasoning and Machine Learning. This book includes definitions that circumscribe the area formed by extending Inductive Logic Programming to cases annotated with probability values. It investigates the approach of Learning from proofs and the issue of upgrading Fisher Kernels to Relational Fisher Kernels. more...

  • Logic-based Program Synthesis and Transformationby German Puebla

    Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 2007; US$ 59.95

    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 in July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14 revised full papers presented together with 2 invited talks were carefully selected and... more...

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

    Springer 2007; US$ 99.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, October 15-19, 2007. The 36 revised full papers presented together with 15 short papers and 3 invited talks were carefully reviewed and selected from 78 submissions.... more...

  • Logic Synthesis for Compositional Microprogram Control Unitsby Alexander Barkalov; Larysa Titarenko

    Springer 2008; US$ 189.00

    The control unit is one of the most important parts of any digital system. As a rule, control units have an irregular structure, which makes the processing of their logic circuits design very sophisticated. One possible way to optimise such characteristics as the size or performance of control units is to adapt their structures to the particular properties... more...

  • Mathematical Programmingby S. M. Sinha

    Elsevier Science 2005; US$ 78.95

    Mathematical Programming, a branch of Operations Research, is perhaps the most efficient technique in making optimal decisions. It has a very wide application in the analysis of management problems, in business and industry, in economic studies, in military problems and in many other fields of our present day activities. In this keen competetive world,... more...

  • The Clausal Theory of Typesby D. A. Wolfram

    Cambridge University Press 1993; US$ 32.00

    In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. more...

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

    Springer 2010; US$ 609.00

    This book is the proceedings of the 2nd International Conference on Quantitative Logic and Soft Computing (QL & SC 2010) from Oct. 22-25, 2010 in Xiamen, China. Only high-quality papers are included. The 2nd International Conference on Quantitative Logic and Soft Computing (QL & SC 2010), built on the success of previous conferences, the QL & QS 2009... more...

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

    Springer 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...