Related Books

Foundations of Logic Programming
Language: en
Pages: 135
Authors: J. W. Lloyd
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book gives an account oC the mathematical Coundations oC logic programming. I have attempted to make the book selC-contained by including prooCs of almost
Foundations of Inductive Logic Programming
Language: en
Pages: 440
Authors: Shan-Hwei Nienhuys-Cheng
Categories: Computers
Type: BOOK - Published: 1997-04-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The state of the art of the bioengineering aspects of the morphology of microorganisms and their relationship to process performance are described in this volum
Foundations of Probabilistic Logic Programming
Language: en
Pages: 548
Authors: Fabrizio Riguzzi
Categories: Computers
Type: BOOK - Published: 2023-07-07 - Publisher: CRC Press

DOWNLOAD EBOOK

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for infer
Foundations for Programming Languages
Language: en
Pages: 846
Authors: John C. Mitchell
Categories: Computers
Type: BOOK - Published: 1996 - Publisher: Mit Press

DOWNLOAD EBOOK

"Programming languages embody the pragmatics of designing software systems, and also the mathematical concepts which underlie them. Anyone who wants to know how
Equational Logic as a Programming Language
Language: en
Pages: 334
Authors: Michael J. O'Donnell
Categories: Computers
Type: BOOK - Published: 1985 - Publisher: MIT Press (MA)

DOWNLOAD EBOOK

This book describes an ongoing equational programming project that started in 1975. Within the project an equational programming language interpreter has been d