Fri Frakt över 299kr
Fri Frakt över 299kr
Kundservice
Handbook of Automated Reasoning

Handbook of Automated Reasoning

2 476 kr

2 476 kr

I lager

Ons, 18 jun - ons, 25 jun


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

I lager

Ons, 18 jun - ons, 25 jun


Säker betalning

14-dagars öppet köp


Säljs och levereras av

Adlibris