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

Prezzi da
12,46

Link sponsorizzati

CONFRONTA TUTTI I WEBSHOP (2)

Descrizione

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

Description Descrizione
Product Specifications Specifiche del prodotto
Risultati correlati Risultati correlati
Next
Previous

Confronta i webshop (2)

Link sponsorizzati · Alcuni negozi ci pagano un compenso

Ordina per:

12,46 €

12,46 €

Descrizione (0)

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

Specifiche del prodotto

Marchio Independently Published
EAN
  • 9798194158102

epubli

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

39,99 €
Più informazioni Maggiori info

BoD - Books on Demand

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

38,86 €
Più informazioni Maggiori info

Springer

Propositional and Predicate Calculus: A Model of Argument

74,89 €
Confronta 2 negozi 2 negozi

Independently Published

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

11,56 €
Confronta 2 negozi 2 negozi
Scelta in evidenza
12,46 €
Vai allo shop