Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Cambridge University Press, červenec 1991
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-beha... Celý popis
? points 127 b
1 270 Kč
Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Zákazníci také koupili

De Bello Et Excidio Trojae, In Usum Serenissimi Delphini (1702) Dictys Cretensis / Kniha Brožovaná
common.buy 1 054 Kč
New York 2017, Streifenkalender XXL Marco Becher / Kalendář/Diář Kalendář
common.buy 380 Kč
Alienmorder Stephen Goldin / E-kniha Adobe ePub DRM
common.buy 65 Kč
Cryogenic Nightmare Chet Cunningham Audiokniha MP3
common.buy 608 Kč
Fantom I: Přízračné legie Terry Goodkind / Kniha Brožovaná
common.buy 273 Kč
La tarification du carbone et ses répercussions Rokhaya / Kniha Brožovaná
common.buy 667 Kč
Cooperación en la formación entre instituciones / Kniha Brožovaná
common.buy 575 Kč
Triceratops Dennis Schatz / Kniha Kniha
common.buy 412 Kč
Besch ftigung, Geld Und Preisniveaustabilit t Artur Woll / Kniha Brožovaná
common.buy 1 214 Kč
Sonneberg 1 : 50 000 (L5732) / Tiskovina Mapa
common.buy 198 Kč
Mit Volldampf über den Berg. (Puzzle) H. P. Reschinger / Hra/Hračka Hra
common.buy 831 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods in Artificial Intelligence
Autor Allan M. Ramsay
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1991
Počet stran 292
EAN 9780521424219
ISBN 0521424216
Libristo kód 02030414
Nakladatelství Cambridge University Press
Váha 470
Rozměry 170 x 244 x 16

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Knowledge Intensive Computer Aided Design Susan Finger / Kniha Pevná
common.buy 5 236 Kč
Miscellaneous Papers on Political and Commercial Subjects ]. Noah Webster / Kniha Brožovaná
common.buy 504 Kč
Religion, belief and social work Sheila Furness / Kniha Brožovaná
common.buy 760 Kč
Er Larry Stockstill / Kniha Brožovaná
common.buy 446 Kč
Race and Ethnicity in Anglo-Saxon Literature Stephen J. Harris / Kniha Pevná
common.buy 5 435 Kč
Visionary Greg Belter / Kniha Brožovaná
common.buy 191 Kč
FLAGHOPPING And Other Poems MICHAEL PATTWELL / Kniha Brožovaná
common.buy 452 Kč
Acts R. Kent Hughes / Kniha Pevná
common.buy 888 Kč
Treasury of Miracles for Teens Karen Kingsbury / Kniha Pevná
common.buy 428 Kč
Óscar y la gata de medianoche Ron Brooks / Kniha Brožovaná
common.buy 421 Kč
Complications of Bone Marrow and Stem Cell Transplants: Fast Focus Study Guide J T Thomas MD / Kniha Brožovaná
common.buy 279 Kč
The Thing That Made the Noise: The Search for the Thing Jaymes Brown / Kniha Brožovaná
common.buy 362 Kč
Growing God's Gifts Lucy Joy / Kniha Pevná
common.buy 310 Kč
The Soldier's Companion To The Spiritual Exercises (1882) Joseph Redman / Kniha Brožovaná
common.buy 511 Kč
Saddle Club 54: Gold Medal Rider Bonnie Bryant / E-kniha Adobe ePub DRM
common.buy 187 Kč
Bioinformatics with Python Cookbook - Third Edition Tiago Antao / Kniha Brožovaná
common.buy 1 360 Kč
Mr Men Little Miss Audio Collection Roger Hargreaves / Audiokniha MP3
common.buy 143 Kč
Royal School of Needlework: Wall of Wool (Blank Sketch Book) Flame Tree Publishing / Kniha Pevná
common.buy 354 Kč
In Fields Where Daisies Grow Elizabeth Jeffrey / Kniha Brožovaná
common.buy 715 Kč
Chesapeake Campaigns 1813-15 Scott Sheads / Kniha Brožovaná
common.buy 467 Kč
Top
Star Wars: The Essential Atlas Daniel Wallace / Kniha Brožovaná
common.buy 566 Kč
Classical Mechanics Walter Greiner / Kniha Brožovaná
common.buy 2 303 Kč
Quantum Computing Debabrata Goswami / Kniha Pevná
common.buy 3 022 Kč
Universality of Nonclassical Nonlinearity Pier Paolo Delsanto / Kniha Brožovaná
common.buy 4 707 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet