COMPUTATIONAL LOGIC and PROOF SYSTEMS: Formal Languages Inference Rules Type Systems Machine Assisted Reasoning

Preise von
12,93

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

COMPUTATIONAL LOGIC and PROOF SYSTEMS: Formal Languages Inference Rules Type Systems Machine Assisted Reasoning

Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Shop
Preis
Versandkosten
Total price
Amazon Logo
12,93 €
Gratis
12,93 €
Zum Shop
Gratis Shipping Costs
Amazon Marketplace Logo
12,93 €
Gratis
12,93 €
Zum Shop
Gratis Shipping Costs
Beschreibung (0)

COMPUTATIONAL LOGIC and PROOF SYSTEMS: Formal Languages Inference Rules Type Systems Machine Assisted Reasoning

Produktspezifikationen

Marken Independently Published
EAN
  • 9798170626618

Independently Published

FORMAL LOGIC FOR COMPUTER SCIENCE: Propositions Predicates Proof Systems Type Theory and Computational Reasoning

12,93 €
2 Shops vergleichen 2 Shops

Independently Published

AUTOMATED THEOREM PROVING: Logical Inference Proof Search Decision Procedures and Computational Reasoning

12,93 €
2 Shops vergleichen 2 Shops

Soren Bo Nielsen Programming Languages and Systems in Computational...

141,95 €
Weitere Informationen Mehr Infos

Springer

Logic in Computer Science: Modelling and Reasoning about Systems

61,99 €
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
12,93 €
Zum Shop