Proof Theory and Logic Programming
Dale Miller
Gebundenes Buch

Proof Theory and Logic Programming

Computation as Proof Search

Versandkostenfrei!
Erscheint vorauss. 31. Dezember 2025
59,99 €
inkl. MwSt.
PAYBACK Punkte
30 °P sammeln!