Compare termination proofs for logic programs (lecture . pl??mer<| products from over 5,000 stores
todaysfashion.com
Termination Proofs for Logic Programs (Lecture . Pl??mer<|
Termination Proofs for Logic Programs (Lecture . Pl??mer<|

Termination Proofs for Logic Programs (Lecture . Pl??mer<|

From

£44.99

To

£56.12

Pages: 150, Edition: 1990, Paperback, Springer

Termination Proofs for Logic Programs (Lecture . Pl??mer<|

Pages: 150, Edition: 1990, Paperback, Springer

Price now:

From

£44.99

To

£56.12

£44.99

Amazon

Shop

£56.12

eBay

Shop

Similar Products

Program Proofs

Hive Books

£55.35

View All
View All
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation)

Amazon

£43.62

£59.99

View All
View All
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)

Amazon

£74.99

View All
View All
Understanding Proof

eBay

£18.80

View All
View All
Logic-Based Program Synthesis and Transformation - 9783030988685

eBay

£43.96

View All
View All