COMPUTATIONAL LOGIC: Formal reasoning proof systems and declarative programming foundations

Prices from
9.60

Featured

COMPARE ALL WEBSHOPS (2)

Description

COMPUTATIONAL LOGIC: Formal reasoning proof systems and declarative programming foundations

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

Compare webshops (2)

Shop
Price
Amazon Logo
£ 9.60
To Shop
Amazon Marketplace Logo
£ 9.60
To Shop
Description (0)

COMPUTATIONAL LOGIC: Formal reasoning proof systems and declarative programming foundations

Product specifications

Brand Independently Published
EAN
  • 9798173696885

Independently Published

MATHEMATICAL FOUNDATIONS OF COMPUTER VERIFICATION: Logic Set Theory Formal Languages Proof Techniques...

£ 9.52
Compare 2 stores 2 stores

Logic and COMPUTATIONAL Proof SYSTEMS: Propositional Predicate Calculus Search Automated Deduction Formal Reasoning

£ 3.66
More Information More Info

Independently Published

Logic and COMPUTATIONAL Proof SYSTEMS: Propositional Predicate Calculus Search Automated Deduction Formal Reasoning

£ 10.25
Compare 2 stores 2 stores

Morgan & Claypool Publishers

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

£ 60.00
Compare 2 stores 2 stores
Featured Choice
£ 9.60
To Shop