Logic Programming: Operational Semantics and Proof Theory - Distinguished Dissertations in Computer Science - Andrews, James H. (Simon Fraser University, British Columbia) - Livres - Cambridge University Press - 9780521607544 - 19 août 2004
Si la couverture et le titre ne correspondent pas, le titre est correct.

Andrews, James H. (Simon Fraser University, British Columbia)
Logic Programming: Operational Semantics and Proof Theory - Distinguished Dissertations in Computer Science

Prix
€ 51,99

Commandé depuis un entrepôt distant

Livraison prévue 12 - 21 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

The author provides a homogeneous treatment of the semantics of both theoretical and practical logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies need to consult this book as the only source for some essential and new ideas in the area.

120 pages, black & white illustrations

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 19 août 2004
ISBN13 9780521607544
Éditeurs Cambridge University Press
Pages 120
Dimensions 189 × 246 × 6 mm   ·   230 g
Langue et grammaire Anglais  

Voir tous les Andrews, James H. (Simon Fraser University, British Columbia) ( par ex. Paperback Book )