Formal Methods in Artificial Intelligence

Name: Formal Methods in Artificial Intelligence
Brand: Cambridge University Press
SKU: 9780521424219
Price: 20299 HUF
Availability: InStock

Szerző: Allan M. Ramsay

Nyelv:

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

Kiadó: Cambridge University Press

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

Küldés 9-15 napon belül

20 299 Ft

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-beha...

Információk a könyvről

Szerző

Allan M. Ramsay

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1991

oldal

292

EAN

9780521424219

ISBN

0521424216

Enbook ID

02030414

Kiadó

Cambridge University Press

Súly

470

Méretek

170 x 244 x 16

Teljes leírás

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.

É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

Formal Methods in Artificial Intelligence

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