Using Sophisticated Models in Resolution Theorem Proving

Name: Using Sophisticated Models in Resolution Theorem Proving
Brand: Springer, Berlin
SKU: 9783540102311
Price: 20565 HUF
Availability: InStock

Szerző: David M. Sandford

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

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

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

20 565 Ft

Információk a könyvről

Szerző

David M. Sandford

Nyelv

Angol

Kötés

Könyv - Puha kötésű

oldal

242

EAN

9783540102311

ISBN

3540102310

Enbook ID

01557591

Kiadó

Springer, Berlin

Súly

425

Méretek

155 x 233 x 13

É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

Using Sophisticated Models in Resolution Theorem Proving

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