Fri Frakt över 299kr
Fri Frakt över 299kr
Kundservice
Handbook of Automated Reasoning
-4 %

Handbook of Automated Reasoning

2 476 kr

2 476 kr

Tidigare lägsta pris:

2 573 kr

I lager

Ons, 21 maj - tis, 27 maj


Säker betalning

14-dagars öppet köp


Säljs och levereras av

Adlibris


Produktbeskrivning

This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

Artikel.nr.

47db016a-2ad5-47da-ac62-52588c417e95

Handbook of Automated Reasoning

2 476 kr

2 476 kr

Tidigare lägsta pris:

2 573 kr

I lager

Ons, 21 maj - tis, 27 maj


Säker betalning

14-dagars öppet köp


Säljs och levereras av

Adlibris