Dale (INRIA Saclay-Ile-de-France) Miller
Cambridge University Press
e druk, 2025
9781009561297
Proof Theory and Logic Programming
Computation as Proof Search
Specificaties
Gebonden, 334 blz.
|
EN
Cambridge University Press |
e druk, 2025
ISBN13: 9781009561297
Rubricering
Juridisch
:
Levertijd ongeveer 16 werkdagen
Gratis verzonden
Samenvatting
This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.
Specificaties
ISBN13:9781009561297
Taal:EN
Bindwijze:Gebonden
Aantal pagina's:334
Uitgever:Cambridge University Press
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht