Handbook of Automated Reasoning

Elsevier Science & Technology; 2001
Handbook of Automated Reasoning

Handbook of Automated Reasoning

Elsevier Science & Technology; 2001
Kniha
5.695 Kč
Na objednávku
Předpokládané dodání ve čtvrtek, 10. září 2020
5.695 Kč s DPH
Ušetříte 633 Kč 6.328 Kč (-10%)
Přidat do košíku
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.
EAN
9780444508126
ISBN
0444508120
Typ produktu
Hardback
Vydavatel
Elsevier Science & Technology
Datum vydání
21.06.2001
Stránky
1188
Jazyk
Angličtina
Rozměry
240 x 165
Země
United States
Sekce
Professional & Scholarly
Série
Handbook of Automated Reasoning
PRODUCT UPDATE
Související produkty
13 979 551
knih
2 747 902
e-knih
Knižních titulů v nabídce
Osobní odběr zdarma na 10 místech po celé České republice
Největší knižní nabídka na českém internetu
Dárkové balení knih zdarma
Knihy z celého světa

Akceptujeme

PayPal Visa Visa Electron Maestro Mastercard
Tento web používá k poskytování služeb, personalizaci reklam a analýze návštěvnosti soubory cookies. Používáním tohoto webu s tím souhlasíte. Více informací
Rozumím