Inicio > > Ciencias de la computación > Inteligencia artificial > Logic Programming and Automated Reasoning
Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning

Frank Pfenning

65,95 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
1994
Materia
Inteligencia artificial
ISBN:
9783540582168
65,95 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship 'Marshal Koshevoi' on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held annually in the former Soviet Union and aimed at bringing together researchers interested in LP and AR.This proceedings contains the full versions of the 24 accepted papers evaluated by at least three referees ensuring a program of highest quality. The papers cover all relevant aspects of LP and AR ranging from theory to implementation and application.

Artículos relacionados

  • Mastering Secure Java Applications
    Debopam Poddar / Joyanta Banerjee / Tarun Kumar Chawdhury / Vipul Gupta
    Elevate your Java security skills for the modern cloud eraDESCRIPTION This book offers a comprehensive guide to implementing Zero-Trust security principles, cloud-based defenses, and robust application development practices. Through practical examples and expert advice, readers will gain the skills needed to design and develop secure Java applications that easily can tackle to...
    Disponible

    49,94 €

  • Python Mini Manual
    CodeCraft Dynamics
    Embark on a journey to master Python with this comprehensive guide that covers everything from the basics to advanced concepts. Whether you’re new to programming or looking to enhance your skills, this book offers a blend of focused discussions, real-world examples, and practice exercises to help you become proficient in Python. Begin by exploring an overview of Python and its ...
    Disponible

    12,05 €

  • C++ Programming Cookbook
    Anais Sutherland
    'C++ Programming Cookbook' stands out as a clear, concise, and powerful technical resource for programmers who want to master C++’s intricacies. C++ programmers face a wide variety of problems, and this carefully written book is a treasure trove of solutions and methods to those software development challenges.Each chapter is organized to help you get a good grasp of the langua...
    Disponible

    61,97 €

  • Python Advanced Programming
    Marcus Richards
    If you want to learn the most modern programming language in the world, then keep reading.Python is an high-level programming language. It’s a modern language, easy to learn and understand but very powerful.It’s a versatile programming language that is now being used on a lot of different projects, from world-class internet companies to small hobbyists, Python is extremely flex...
    Disponible

    22,81 €

  • React and React Native - Fifth Edition
    Adam Boduch / Mikhail Sakhniuk
    Get a big-picture view of modern React and React Native and see how they go hand-in-hand - covering TypeScript development, Vite, state management strategies, unit testing with Jest, and more.Purchase of the print or Kindle book includes a free PDF eBook.Key Features:- New content on TypeScript, React frameworks, state management strategies, and unit testing- Get to grips with ...
    Disponible

    90,71 €

  • Practical Rust 1.x Cookbook, Second Edition
    Lloyd Frank
    If you want to learn how to program in Rust and create strong, reliable apps with the most recent version Rust 1.68, then you need the 'Practical Rust 1.x Cookbook (Second Edition)'-a book full of real-world solutions. An extensive collection of practical recipes covering a wide range of topics. You will learn the fundamentals of programming, how to set up a development environ...
    Disponible

    62,44 €

Otros libros del autor

  • Foundations of Software Science and Computation Structures
    Frank Pfenning
    This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013The 28 papers presented in this volume were carefully reviewed and selected from 109 ...
    Disponible

    65,41 €

  • Foundations of Software Science and Computation Structures
    Frank Pfenning
    This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013The 28 papers presented in this volume were carefully reviewed and selected from 109 ...
    Disponible

    46,97 €

  • Automated Deduction - CADE-21
    Frank Pfenning
    A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full papers and 6 system descriptions presented were...
    Disponible

    65,12 €

  • Term Rewriting and Applications
    Frank Pfenning
    This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. The book presents 23 revised full papers and 4 systems description papers together with 2 invited talks and a plenary talk of the hosting FLoC conference. Topics include equati...
    Disponible

    65,59 €