COMPUTATIONAL LOGIC: Formal reasoning proof systems and declarative programming foundations

Priser från
133,57

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

COMPUTATIONAL LOGIC: Formal reasoning proof systems and declarative programming foundations

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
133,57 kr
Til butik
Amazon Marketplace Logga
133,57 kr
Til butik
Beskrivning (0)

COMPUTATIONAL LOGIC: Formal reasoning proof systems and declarative programming foundations

Produktspecifikationer

Märke Independently Published
EAN
  • 9798173696885

Independently Published

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

140,58 kr
Jämför 2 butiker 2 Butiker

Independently Published

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

130,53 kr
Jämför 2 butiker 2 Butiker

Independently Published

CONSTRAINT BASED PROGRAMMING MODELS: Declarative Problem Solving Rule Systems and Optimization Logic

136,80 kr
Jämför 2 butiker 2 Butiker

Cambridge University Press

Proof Theory and Logic Programming: Computation as Search

931,00 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
133,57 kr
Til butik