Handbook of Automated Reasoning

Name: Handbook of Automated Reasoning
Brand: Elsevier Science & Technology
SKU: 9780444508126
Price: 89022 HUF
Availability: InStock

Szerző: Alan J A Robinson

Nyelv:

Kötés: Kemény kötésű

Kiadó: Elsevier Science & Technology

Elérhetőség: Beszállítói készleten

Küldés 10-18 napon belül

89 022 Ft

This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and l...

Információk a könyvről

Szerző

Alan J A Robinson

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2001

oldal

1188

EAN

9780444508126

ISBN

0444508120

Enbook ID

01329138

Kiadó

Elsevier Science & Technology

Súly

2430

Méretek

165 x 240 x 60

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Handbook of Automated Reasoning

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták