Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods in Artificial Intelligence

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods in Artificial Intelligence Allan M. Ramsay
Libristo kod: 02030414
Nakladnici Cambridge University Press, srpanj 1991
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-beha... Cijeli opis
? points 133 b
55.09 €
Vanjske zalihe Šaljemo za 9-15 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

De Bello Et Excidio Trojae, In Usum Serenissimi Delphini (1702) Dictys Cretensis / Knjiga Meki uvez
common.buy 45.87 €
New York 2017, Streifenkalender XXL Marco Becher / Kalendar/Rokovnik Kalendar
common.buy 16.80 €
Alienmorder Stephen Goldin / E-knjiga Adobe ePub DRM
common.buy 2.52 €
Cryogenic Nightmare Chet Cunningham Audio knjiga MP3
common.buy 23.79 €
Fantom I: Přízračné legie Terry Goodkind / Knjiga Meki uvez
common.buy 12.55 €
La tarification du carbone et ses répercussions Rokhaya / Knjiga Meki uvez
common.buy 26.42 €
Cooperación en la formación entre instituciones / Knjiga Meki uvez
common.buy 22.78 €
Triceratops Dennis Schatz / Knjiga Knjiga
common.buy 16.60 €
Besch ftigung, Geld Und Preisniveaustabilit t Artur Woll / Knjiga Meki uvez
common.buy 53.16 €
Sonneberg 1 : 50 000 (L5732) / Tiskanica Mapa
common.buy 7.79 €
Mit Volldampf über den Berg. (Puzzle) H. P. Reschinger / Igra/Igračka Igra
common.buy 32.60 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Methods in Artificial Intelligence
Autor Allan M. Ramsay
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1991
Broj stranica 292
EAN 9780521424219
ISBN 0521424216
Libristo kod 02030414
Nakladnici Cambridge University Press
Težina 470
Dimenzije 170 x 244 x 16

Kategorija

Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Knowledge Intensive Computer Aided Design Susan Finger / Knjiga Tvrdi uvez
common.buy 216.63 €
Miscellaneous Papers on Political and Commercial Subjects ]. Noah Webster / Knjiga Meki uvez
common.buy 22.27 €
Religion, belief and social work Sheila Furness / Knjiga Meki uvez
common.buy 32.91 €
Er Larry Stockstill / Knjiga Meki uvez
common.buy 19.44 €
Race and Ethnicity in Anglo-Saxon Literature Stephen J. Harris / Knjiga Tvrdi uvez
common.buy 235.27 €
Visionary Greg Belter / Knjiga Meki uvez
common.buy 8.40 €
FLAGHOPPING And Other Poems MICHAEL PATTWELL / Knjiga Meki uvez
common.buy 19.64 €
Acts R. Kent Hughes / Knjiga Tvrdi uvez
common.buy 34.73 €
Treasury of Miracles for Teens Karen Kingsbury / Knjiga Tvrdi uvez
common.buy 18.73 €
Óscar y la gata de medianoche Ron Brooks / Knjiga Meki uvez
common.buy 16.60 €
Complications of Bone Marrow and Stem Cell Transplants: Fast Focus Study Guide J T Thomas MD / Knjiga Meki uvez
common.buy 12.14 €
The Thing That Made the Noise: The Search for the Thing Jaymes Brown / Knjiga Meki uvez
common.buy 15.79 €
Growing God's Gifts Lucy Joy / Knjiga Tvrdi uvez
common.buy 12.85 €
The Soldier's Companion To The Spiritual Exercises (1882) Joseph Redman / Knjiga Meki uvez
common.buy 22.17 €
Saddle Club 54: Gold Medal Rider Bonnie Bryant / E-knjiga Adobe ePub DRM
common.buy 7.28 €
Bioinformatics with Python Cookbook - Third Edition Tiago Antao / Knjiga Meki uvez
common.buy 59.14 €
Mr Men Little Miss Audio Collection Roger Hargreaves / Audio knjiga MP3
common.buy 5.56 €
Royal School of Needlework: Wall of Wool (Blank Sketch Book) Flame Tree Publishing / Knjiga Tvrdi uvez
common.buy 13.76 €
In Fields Where Daisies Grow Elizabeth Jeffrey / Knjiga Meki uvez
common.buy 30.88 €
Chesapeake Campaigns 1813-15 Scott Sheads / Knjiga Meki uvez
common.buy 20.55 €
Top
Star Wars: The Essential Atlas Daniel Wallace / Knjiga Meki uvez
common.buy 23.39 €
Classical Mechanics Walter Greiner / Knjiga Meki uvez
common.buy 100.87 €
Quantum Computing Debabrata Goswami / Knjiga Tvrdi uvez
common.buy 118.79 €
Universality of Nonclassical Nonlinearity Pier Paolo Delsanto / Knjiga Meki uvez
common.buy 206.00 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?