Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Methods in Artificial Intelligence

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods in Artificial Intelligence Allan M. Ramsay
Libristo kód: 02030414
Nakladateľstvo Cambridge University Press, júl 1991
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-beha... Celý popis
? points 127 b
52.56 €
Skladom u dodávateľa Odosielame za 9-15 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

De Bello Et Excidio Trojae, In Usum Serenissimi Delphini (1702) Dictys Cretensis / Kniha Brožovaná
common.buy 43.64 €
New York 2017, Streifenkalender XXL Marco Becher / Kalendár/Diár Kalendár
common.buy 16.80 €
Alienmorder Stephen Goldin / E-kniha Adobe ePub DRM
common.buy 2.72 €
Cryogenic Nightmare Chet Cunningham Audiokniha MP3
common.buy 25.11 €
Fantom I: Přízračné legie Terry Goodkind / Kniha Brožovaná
common.buy 10.62 €
La tarification du carbone et ses répercussions Rokhaya / Kniha Brožovaná
common.buy 27.64 €
Cooperación en la formación entre instituciones / Kniha Brožovaná
common.buy 23.79 €
Triceratops Dennis Schatz / Kniha Kniha
common.buy 17.01 €
Besch ftigung, Geld Und Preisniveaustabilit t Artur Woll / Kniha Brožovaná
common.buy 53.16 €
Sonneberg 1 : 50 000 (L5732) / Tlačovina Mapa
common.buy 8.19 €
Mit Volldampf über den Berg. (Puzzle) H. P. Reschinger / Hra/Hračka Hra
common.buy 34.43 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Methods in Artificial Intelligence
Autor Allan M. Ramsay
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 1991
Počet strán 292
EAN 9780521424219
ISBN 0521424216
Libristo kód 02030414
Nakladateľstvo Cambridge University Press
Váha 470
Rozmery 170 x 244 x 16

Kategórie

Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

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

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?