Termination Proofs for Logic Programs: 446 (Lecture Notes in Computer Science, 446)

Prices from
44.99

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 150, Edition: 1990, Paperback, Springer
Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
£ 44.99
To Shop
Amazon Marketplace Logo
£ 44.99
To Shop
Description (1)

Pages: 150, Edition: 1990, Paperback, Springer

Product specifications

Brand Springer
EAN
  • 9783540528371

Springer

Superposition for Higher Order Logic: 16088 (Lecture Notes in Computer Science, 16088)

£ 99.99
Compare 2 stores 2 stores

Springer

Reasoning with Logic Programming: 1111 (Lecture Notes in Computer Science, 1111)

£ 33.35
Compare 2 stores 2 stores

Springer

Foundations of Inductive Logic Programming: 1228 (Lecture Notes in Computer Science, 1228)

£ 64.99
Compare 2 stores 2 stores

Springer

TYPES for Proofs and Programs: International Workshop, 2004, Jouy en Josas, France,...

£ 44.99
Compare 2 stores 2 stores
Featured Choice
£ 44.99
To Shop