Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more
Our innovative products and services for learners, authors and customers are based on world-class research and are relevant, exciting and inspiring.
We unlock the potential of millions of people worldwide. Our assessments, publications and research spread knowledge, spark enquiry and aid understanding around the world.
was added to your bag.
Please try again.
Sorry, this item cannot be purchased in the same transaction as the existing items in your bag.
Please complete the purchase of the items currently in your bag and then add this item in a separate transaction or visit Shopping Help.
Sorry, this product is not currently available to buy online. Please visit Shopping Help.
Recommended product
Popular links
Popular links
: Paperback
: Paperback
: Paperback
: Journal
Theory and Practice of Logic Programming emphasises both the theory and practice of logic programming. Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to all of them. Among the topics covered are AI applications that use logic programming, logic programming methodologies, specification, analysis and verification of systems, inductive logic programming, multi-relational data mining, natural language processing, knowledge representation, nonmonotonic reasoning, semantic web reasoning, databases, implementations and architectures and constraint logic programming.
: Journal
The Review of Symbolic Logic is designed to cultivate research on theborders of logic, philosophy, and the sciences, and to supportsubstantive interactions between these disciplines. The journalwelcomes submissions in any of the following areas, broadly construed: - The general study of logical systems and their semantics,including non-classical logics and algebraic logic; - Philosophical logic and formal epistemology, including interactions with decision theory and game theory; - The history, philosophy, and methodology of logic and mathematics, including the history of philosophy of logic and mathematics; - Applications of logic to the sciences, such as computer science, cognitive science, and linguistics; and logical results addressing foundational issues in the sciences. The Review welcomes submissions in all these areas. (For informationon how to submit papers, see Guidelines below.) The Review beganpublication in June 2008.
: Journal
Acta Numerica is the top-cited journal for the last two years in MathSciNet. Its annual collection of review articles includes survey papers by leading researchers in numerical analysis and scientific computing. The papers present overviews of recent advances and provide state-of-the-art techniques and analysis. Covering the breadth of numerical analysis, articles are written in a style accessible to researchers at all levels and can serve as advanced teaching aids. Broad subject areas for inclusion are computational methods in linear algebra, optimization, ordinary and partial differential equations, approximation theory, stochastic analysis and nonlinear dynamical systems, as well as the application of computational techniques in science and engineering and the mathematical theory underlying numerical methods.
Sorry, this item cannot be purchased in the same transaction as the existing items in your cart.
Please complete the purchase of the items currently in your cart and then add this item in a separate transaction or contact
© 2025 Cambridge University Press & Assessment
Your email has been verified. You are now able to request access to teacher restricted resources. If you are a teacher, simply complete the teacher resource request form, and wait for your request to be validated.
