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

Priser från
140,58

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

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

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
140,58 kr
Til butik
Amazon Marketplace Logga
140,58 kr
Til butik
Beskrivning (0)

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

Produktspecifikationer

Märke Independently Published
EAN
  • 9798194158102

epubli

Formal Logic: Propositional Logic, Predicate Modal and Non-Classical Logics

443,03 kr
Jämför 2 butiker 2 Butiker

BoD - Books on Demand

Formal Logic: Propositional Logic, Predicate Modal and Non-Classical Logics

669,69 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

Alphascript Publishing

Propositional Calculus: Calculus. Interpretation (logic), Logical graph, Truth value, connective, Formal system,...

395,55 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
140,58 kr
Til butik