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

Prices from
44.99

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

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

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 44.99

£ 44.99

Description (0)

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

Product specifications

Brand Springer
EAN
  • 9783540528371

Springer

TYPES for Proofs and Programs: International Workshop, 2006, Nottingham, UK, April 18-21,...

£ 44.99
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

A K Peters/CRC Press

Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

£ 49.37
More Information More Info
Featured Choice
£ 44.99
To Shop