Logic Programming: A Classified Bibliography
Condition: SECONDHAND
This is a secondhand book. The jacket image is a photograph of the exact copy we have in stock. This image shows the condition of this book. Further condition remarks are below.
Edition: First ed.
Condition remarks:
Book: Good
Jacket: No dust jacket
Pages: Good
Condition remarks: Condition as shown in image
At the intersection of computer science and formal reasoning, Logic Programming: A Classified Bibliography stands as an indispensable scholarly resource for researchers, students, and practitioners navigating the vast and rapidly evolving landscape of logic-based computation. Compiled by Isaac Balbin and Koenraad Lecot, the work systematically catalogues and organises a comprehensive body of academic literature on logic programming, presenting citations and references in a structured, classified format that makes locating foundational and cutting-edge research a straightforward endeavour. The bibliography reflects the remarkable breadth of logic programming as a discipline, covering topics from theoretical underpinnings and formal semantics to practical implementation and application domains such as artificial intelligence and expert systems. Balbin and Lecot bring academic rigour and meticulous organisation to the task, producing a reference tool that chronicles the intellectual development of a field that transformed how humans instruct machines to reason. For anyone serious about understanding the genealogy and scope of logic programming, this volume remains a landmark guide that rewards careful study.
Author: Isaac Balbin And Koenraad Lecot
Format: Paperback
Published: 1985, Wildgrass Books
Genre: Reference & language
Edition: First ed.
Condition remarks:
Book: Good
Jacket: No dust jacket
Pages: Good
Condition remarks: Condition as shown in image
At the intersection of computer science and formal reasoning, Logic Programming: A Classified Bibliography stands as an indispensable scholarly resource for researchers, students, and practitioners navigating the vast and rapidly evolving landscape of logic-based computation. Compiled by Isaac Balbin and Koenraad Lecot, the work systematically catalogues and organises a comprehensive body of academic literature on logic programming, presenting citations and references in a structured, classified format that makes locating foundational and cutting-edge research a straightforward endeavour. The bibliography reflects the remarkable breadth of logic programming as a discipline, covering topics from theoretical underpinnings and formal semantics to practical implementation and application domains such as artificial intelligence and expert systems. Balbin and Lecot bring academic rigour and meticulous organisation to the task, producing a reference tool that chronicles the intellectual development of a field that transformed how humans instruct machines to reason. For anyone serious about understanding the genealogy and scope of logic programming, this volume remains a landmark guide that rewards careful study.