Proof Theory and Logic Programming: Computation as Search
Confronta i webshop (1)
Shop
Prezzo
Pagine: 334, Copertina rigida, Cambridge University Press