Carte Formal Methods in Artificial Intelligence Allan M. Ramsay

Formal Methods in Artificial Intelligence

Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 9-15 zile
293.36 lei
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-beha...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
1991
Pagini
292
EAN
9780521424219
ISBN
0521424216
Enbook ID
02030414
Greutate
470
Dimensiuni
170 x 244 x 16

Descriere completă

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.

S-ar putea să te intereseze

167.66 lei

Er

Larry Stockstill
103.34 lei
1 250.54 lei

Visionary

Greg Belter
45.50 lei
104.46 lei

Acts

R. Kent Hughes
186.97 lei
101.12 lei
68.86 lei
39.13 lei
29.92 lei
164.02 lei
110.73 lei
127.41 lei

Classical Mechanics

Walter Greiner
541.83 lei

Quantum Computing

Debabrata Goswami
636.39 lei
1 104.81 lei

Clienții care au cumpărat această carte au mai cumpărat și

Alienmorder

Stephen Goldin
13.64 lei

Cryogenic Nightmare

Chet Cunningham
127.81 lei
67.14 lei

Triceratops

Dennis Schatz
89.69 lei
175.04 lei