Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods in Artificial Intelligence

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods in Artificial Intelligence Allan M. Ramsay
Kod Libristo: 02030414
Wydawnictwo Cambridge University Press, lipiec 1991
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-beha... Cały opis
? points 133 b
Gwarancja
najlepszej
ceny ▸
238.06 zł
Dostępna u dostawcy Wysyłamy za 14-21 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Fantom I: Přízračné legie Terry Goodkind / Książka Miękka
common.buy 57.02 zł
Alienmorder Stephen Goldin / E-book Adobe ePub DRM
common.buy 11.77 zł
Cryogenic Nightmare Chet Cunningham Audiobook MP3
common.buy 109.35 zł
La tarification du carbone et ses répercussions Rokhaya / Książka Miękka
common.buy 113.85 zł
Terre Mère MINUIT / Książka Miękka
common.buy 154.40 zł
Cooperación en la formación entre instituciones / Książka Miękka
common.buy 102.08 zł
ENQUETE INTERNATIONALE SUR L'ENSEIGNEMENT DES MATHEMATIQUES : LE CAS FRANCAIS ROBIN DANIEL Książka Miękka
common.buy 77.71 zł
De Bello Et Excidio Trojae, In Usum Serenissimi Delphini (1702) Dictys Cretensis / Książka Miękka
common.buy 198.02 zł
Besch ftigung, Geld Und Preisniveaustabilit t Artur Woll / Książka Miękka
common.buy 229.46 zł
New York 2017, Streifenkalender XXL Marco Becher / Kalendarz/Pamiętnik Kalendarz
common.buy 72.59 zł
Mit Volldampf über den Berg. (Puzzle) H. P. Reschinger / Gra/Zabawka Gra
common.buy 147.44 zł
Correr para vivir : de los campos de Sudán a las olimpiadas Lopez Lomong / Książka Miękka
common.buy 72.69 zł
Sonneberg 1 : 50 000 (L5732) / Prasa Mapa
common.buy 34.29 zł
Triceratops Dennis Schatz / Książka Książka
common.buy 76.17 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Methods in Artificial Intelligence
Autor Allan M. Ramsay
Język Angielski
Oprawa Książka - Miękka
Data wydania 1991
Liczba stron 292
EAN 9780521424219
ISBN 0521424216
Kod Libristo 02030414
Wydawnictwo Cambridge University Press
Waga 470
Wymiary 170 x 244 x 16

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Knowledge Intensive Computer Aided Design Susan Finger / Książka Twarda
common.buy 993.94 zł
Miscellaneous Papers on Political and Commercial Subjects ]. Noah Webster / Książka Miękka
common.buy 96.14 zł
Practical Guide for Teaching the Saxophone to Beginners Lyle Rebbeck / Książka Miękka
common.buy 74.74 zł
Tabaco, Sugerencias Para Dejar de Fumar... y Algo Mas Jose Daniel Santana Jaime / Książka Twarda
common.buy 125.12 zł
Er Larry Stockstill / Książka Miękka
common.buy 83.85 zł
FLAGHOPPING And Other Poems MICHAEL PATTWELL / Książka Miękka
common.buy 71.15 zł
Radiographic Evaluation of Reverse Total Shoulder Arthroplasty Kaplan-List Katia / Książka Miękka
common.buy 597.98 zł
Acts R. Kent Hughes / Książka Twarda
common.buy 155.63 zł
Óscar y la gata de medianoche Ron Brooks / Książka Miękka
common.buy 74.74 zł
Complications of Bone Marrow and Stem Cell Transplants: Fast Focus Study Guide J T Thomas MD / Książka Miękka
common.buy 52.52 zł
The Thing That Made the Noise: The Search for the Thing Jaymes Brown / Książka Miękka
common.buy 68.08 zł
Growing God's Gifts Lucy Joy / Książka Twarda
common.buy 54.16 zł
Treasury of Miracles for Teens Karen Kingsbury / Książka Twarda
common.buy 81.09 zł
The Soldier's Companion To The Spiritual Exercises (1882) Joseph Redman / Książka Miękka
common.buy 95.93 zł
Understanding the Social and Emotional Lives of Gifted Students Thomas P. Hébert / Książka Twarda
common.buy 612.52 zł
Wight Angel L. D. Wosar / Książka Miękka
common.buy 64.29 zł
Saddle Club 54: Gold Medal Rider Bonnie Bryant / E-book Adobe ePub DRM
common.buy 33.27 zł
Musashi Eiji Yoshikawa / Audiobook MP3
common.buy 131.16 zł
Bioinformatics with Python Cookbook - Third Edition Tiago Antao / Książka Miękka
common.buy 255.57 zł
TOP
Gustav Klimt: The Kiss Artisan Art Notebook (Flame Tree Journals) Flame Tree Publishing / Kalendarz/Pamiętnik Pamiętnik
common.buy 46.99 zł
Mr Men Little Miss Audio Collection Roger Hargreaves / Audiobook MP3
common.buy 25.59 zł
TOP
Giger Andreas J. Hirsch / Książka Twarda
common.buy 711.84 zł
Royal School of Needlework: Wall of Wool (Blank Sketch Book) Flame Tree Publishing / Książka Twarda
common.buy 54.36 zł
Chesapeake Campaigns 1813-15 Scott Sheads / Książka Miękka
common.buy 88.66 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?