Handbook of Automated Reasoning - Andrei Voronkov - Böcker - Elsevier Science & Technology - 9780444508126 - 21 juni 2001
Om omslag och titel inte matchar är det titeln som gäller

Andrei Voronkov
Handbook of Automated Reasoning

Pris
SEK 3.199

Beställningsvara

Förväntad leverans 12 - 21 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

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.

1188 pages, indexes

Media Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 21 juni 2001
ISBN13 9780444508126
Utgivare Elsevier Science & Technology
Antal sidor 1188
Mått 165 × 240 × 60 mm   ·   2,07 kg
Redaktör Robinson, Alan J.A. (96 Highland Avenue, Greenfield, Massachusetts, USA)
Redaktör Voronkov, Andrei (University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, UK.)

Fler produkter med Andrei Voronkov

Visa alla

Se alt med Andrei Voronkov ( t.ex. Pocketbok och Inbunden Bok )