A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design

1/1
Afbeelding van A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Bol
Prijzen vanaf
18,00

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Amazon Pages: 176, Paperback, Hutson Street Press
Description Beschrijving
Product Specifications Productspecificaties
Related Products Gerelateerde producten
?>
Next
Previous

Vergelijk aanbieders (2)

Shop
Prijs
Verzendkosten
Totale prijs
Bol Logo
18,00
2,99
20,99
Naar shop
2,99 Shipping Costs
Amazon Logo
49,21
Gratis
49,21
Naar shop
Gratis Shipping Costs
Beschrijving (1)

Pages: 176, Paperback, Hutson Street Press

Productspecificaties

Merk Hutson Street Press
EAN
  • 9781024208504
Maat

Prijzen voor het laatst bijgewerkt op:

-5 %

Mathematics and Its Applications Mechanical Geometry Theorem Proving

99,99
Meer informatie Meer info
-5 %

Mechanical Geometry Theorem Proving

99,99
Meer informatie Meer info

Symbolic Logic and Mechanical Theorem Proving

29,50
Meer informatie Meer info

Higher Order Logic Theorem Proving and Its Applications

46,99
Meer informatie Meer info
Uitgelichte Keuze
18,00
Naar shop