Proof Theory and Logic Programming: Computation as Search

Name: Proof Theory and Logic Programming: Computation as Search
Brand: Cambridge University Press
SKU: fdffbefac85db143c64de9dfdcc3a20a

1/1

Prezzi da

71,25

Link sponsorizzati

Descrizione

Proof Theory and Logic Programming: Computation as Search

Confronta i webshop (2)

Link sponsorizzati · Alcuni negozi ci pagano un compenso

Ordina per:

71,25 €

123,05 €

Descrizione (0)

Proof Theory and Logic Programming: Computation as Search

* Lo storico dei prezzi non contiene dati da Amazon.

Prezzi aggiornati il: 15-11-2026, 08:43

Independently Published

Nonlinear Programming: Theory, Algorithms, Computation, and Modern Applications

Clarendon Press

Reductive Logic and Proof-search: Proof Theory, Semantics, Control (Oxford Guides Book 45) (English Edition)

Declarative Logic Programming: Theory, Systems, and Applications

Unfinished Light Press

The Theory Of Imaginal Computation: Architecture as Computation