Programming with Higher-Order Logic
Dale Miller

Programming with Higher-Order Logic

Cietajos vākos2012 m.320 lpp. Piegāde 3-4 nedēļās
€54,35€56,50-3%
Pašlaik nav noliktavāAtstājiet savu e-pasta adresi, un mēs jums paziņosim, tiklīdz grāmata atkal būs pieejama (parasti 3-4 nedēļu laikā).
14 dienu atgriešanas garantijaPārdomājāt? Varat atcelt pasūtījumu jebkurā laikā pirms tā nosūtīšanas. Atgriešanas noteikumi
Grāmatas informācija
AutorsDale Miller
IzdevējsCambridge University Press
Izdošanas gads2012 m.
ValodaAngļu
Lappuses320 psl.
FormātsCietajos vākos
ŽanrsDatori un IT
ISBN9780521879408
Par grāmatu

Discover the innovative world of computation with Programming with Higher-Order Logic by Dale Miller, published by Cambridge University Press in 2012. This insightful hardback edition spans 320 pages and delves into the intricacies of formal systems in computer science.

Dale Miller presents a groundbreaking programming language grounded in a simply typed version of higher-order logic. This book elegantly demonstrates how this approach facilitates computations over syntactic structures that embody binding. Whether you are a seasoned programmer or a curious learner, this work provides a comprehensive understanding of logic programming and its applications, particularly with Prolog.

Enhance your programming skills and deepen your knowledge of computational structures with this essential resource. Perfect for those interested in programming languages and logic, Programming with Higher-Order Logic is a must-read for anyone looking to expand their expertise in the field.

Līdzīgas grāmatas

Nesen skatītās