phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Formal Methods in Artificial Intelligence

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods in Artificial Intelligence Allan M. Ramsay
Codul Libristo: 02030414
Editura Cambridge University Press, iulie 1991
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-beha... Descrierea completă
? points 137 b
276 lei
În depozitul extern Expediem în 15-20 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Coleccion Colega lee Elena Gonzéles Hortanelo / Carte broșată
common.buy 43 lei
Fantom I: Přízračné legie Terry Goodkind / Carte broșată
common.buy 74 lei
Classical Mechanics Walter Greiner / Carte broșată
common.buy 640 lei
Chesapeake Campaigns 1813-15 Scott Sheads / Carte broșată
common.buy 112 lei
Soft Real-Time Systems: Predictability vs. Efficiency Giorgio C. Buttazzo / Carte broșată
common.buy 640 lei
FLAGHOPPING And Other Poems MICHAEL PATTWELL / Carte broșată
common.buy 110 lei
Universality of Nonclassical Nonlinearity Pier Paolo Delsanto / Carte broșată
common.buy 1.291 lei
Quantum Computing Debabrata Goswami / Copertă tare
common.buy 624 lei
Friends and Other Strangers Richard B. Miller / Copertă tare
common.buy 420 lei
One River Wade Davis / Carte broșată
common.buy 94 lei
Bücherwurm Fibel. Ausgabe für Berlin, Brandenburg, Mecklenburg-Vorpommern, Sachsen, Sachsen-Anhalt, Thüringen / Foaie
common.buy 85 lei

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.

Informații despre carte

Titlu complet Formal Methods in Artificial Intelligence
Autor Allan M. Ramsay
Limba engleză
Legare Carte - Carte broșată
Data publicării 1991
Număr pagini 292
EAN 9780521424219
ISBN 0521424216
Codul Libristo 02030414
Editura Cambridge University Press
Greutatea 470
Dimensiuni 170 x 244 x 16

Categorii

Computing & Information Technology > Computer science > Artificial intelligence
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo