Proof Theory and Logic Programming  Computation as Proof Search

Proof Theory and Logic Programming Computation as Proof Search

Beste pris fra kr 819 og finnes i 3 butikker.

Strekkoder

GTIN

9781009561297