Proof Theory and Logic Programming

Computation as Proof Search
Dezember 2025, Englisch
Cambridge Academic
978-1-009-56129-7

Weitere Titel zum Thema