Automated Model Building

Name: Automated Model Building
Brand: Springer-Verlag New York Inc.
SKU: 9781402026522
Price: 63177 HUF
Availability: InStock

Szerző: Nicolas Peltier

Nyelv:

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

Kiadó: Springer-Verlag New York Inc.

Elérhetőség: Beszállítói készleten alacsony példányszámban

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

63 177 Ft

Provides information on automated model building, a discipline of automated deduction that is of gro...

Információk a könyvről

Szerző

Nicolas Peltier

Nyelv

Angol

Kötés

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

Kiadva

2004

oldal

341

EAN

9781402026522

ISBN

9781402026522

Enbook ID

08348611

Kiadó

Springer-Verlag New York Inc.

Súly

713

Méretek

155 x 235 x 23

Teljes leírás

Provides information on automated model building, a discipline of automated deduction that is of growing importance. This book also provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction. It presents finite and infinite model building techniques.

É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

Automated Model Building

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