Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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 139 b
301.32 lei
În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

De Bello Et Excidio Trojae, In Usum Serenissimi Delphini (1702) Dictys Cretensis / Carte Carte broșată
common.buy 251.36 lei
New York 2017, Streifenkalender XXL Marco Becher / Calendar / Agendă Calendar
common.buy 93.27 lei
Alienmorder Stephen Goldin / E-book Adobe ePub DRM
common.buy 14.01 lei
Cryogenic Nightmare Chet Cunningham Audiobook MP3
common.buy 131.28 lei
Fantom I: Přízračné legie Terry Goodkind / Carte Carte broșată
common.buy 69.38 lei
La tarification du carbone et ses répercussions Rokhaya / Carte Carte broșată
common.buy 144.27 lei
Cooperación en la formación entre instituciones / Carte Carte broșată
common.buy 124.32 lei
Triceratops Dennis Schatz / Carte Carte
common.buy 92.12 lei
Besch ftigung, Geld Und Preisniveaustabilit t Artur Woll / Carte Carte broșată
common.buy 292.70 lei
Sonneberg 1 : 50 000 (L5732) / Materiale tipărite Hartă
common.buy 42.78 lei
Mit Volldampf über den Berg. (Puzzle) H. P. Reschinger / Joc / Jucărie Joc
common.buy 179.79 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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

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

Ar putea de asemenea, să te intereseze

Knowledge Intensive Computer Aided Design Susan Finger / Carte Copertă tare
common.buy 1 186.00 lei
Miscellaneous Papers on Political and Commercial Subjects ]. Noah Webster / Carte Carte broșată
common.buy 123.49 lei
Religion, belief and social work Sheila Furness / Carte Carte broșată
common.buy 172.21 lei
Er Larry Stockstill / Carte Carte broșată
common.buy 106.15 lei
Race and Ethnicity in Anglo-Saxon Literature Stephen J. Harris / Carte Copertă tare
common.buy 1 284.47 lei
Visionary Greg Belter / Carte Carte broșată
common.buy 46.73 lei
FLAGHOPPING And Other Poems MICHAEL PATTWELL / Carte Carte broșată
common.buy 107.29 lei
Acts R. Kent Hughes / Carte Copertă tare
common.buy 191.84 lei
Treasury of Miracles for Teens Karen Kingsbury / Carte Copertă tare
common.buy 103.86 lei
Óscar y la gata de medianoche Ron Brooks / Carte Carte broșată
common.buy 91.09 lei
Complications of Bone Marrow and Stem Cell Transplants: Fast Focus Study Guide J T Thomas MD / Carte Carte broșată
common.buy 66.78 lei
The Thing That Made the Noise: The Search for the Thing Jaymes Brown / Carte Carte broșată
common.buy 86.72 lei
Growing God's Gifts Lucy Joy / Carte Copertă tare
common.buy 70.73 lei
The Soldier's Companion To The Spiritual Exercises (1882) Joseph Redman / Carte Carte broșată
common.buy 121.73 lei
Saddle Club 54: Gold Medal Rider Bonnie Bryant / E-book Adobe ePub DRM
common.buy 40.19 lei
Bioinformatics with Python Cookbook - Third Edition Tiago Antao / Carte Carte broșată
common.buy 324.28 lei
Mr Men Little Miss Audio Collection Roger Hargreaves / Audiobook MP3
common.buy 30.74 lei
Royal School of Needlework: Wall of Wool (Blank Sketch Book) Flame Tree Publishing / Carte Copertă tare
common.buy 76.54 lei
In Fields Where Daisies Grow Elizabeth Jeffrey / Carte Carte broșată
common.buy 168.47 lei
Chesapeake Campaigns 1813-15 Scott Sheads / Carte Carte broșată
common.buy 113.73 lei
Top
Star Wars: The Essential Atlas Daniel Wallace / Carte Carte broșată
common.buy 130.87 lei
Classical Mechanics Walter Greiner / Carte Carte broșată
common.buy 556.53 lei
Quantum Computing Debabrata Goswami / Carte Copertă tare
common.buy 653.66 lei
Universality of Nonclassical Nonlinearity Pier Paolo Delsanto / Carte Carte broșată
common.buy 1 134.79 lei

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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?