Inicio > > Ciencias de la computación > Inteligencia artificial > Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Pierre Flener

66,02 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
1999
Materia
Inteligencia artificial
ISBN:
9783540657651
66,02 €
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 book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR’98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

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

  • Logic Program Synthesis from Incomplete Information
    Pierre Flener
    Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program de...
    Disponible

    207,82 €

  • Logic Program Synthesis from Incomplete Information
    Pierre Flener
    Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program de...