Proof Theory and Logic Programming

Proof Theory and Logic Programming

Tekijä: Dale Miller
Kustantaja: Cambridge University Press
Julkaisuvuosi: 2025
ISBN: 9781009561297

Osta kirja

0

Maksa Klarnalla
14 päivän palautusoikeus
Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.

Saatat pitää myös näistä

Osta kirja0