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 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Automated Theorem Proving

Theory and Practice

Język AngielskiAngielski
Książka Twarda
Książka Automated Theorem Proving Monty Newborn
Kod Libristo: 05248009
Wydawnictwo Springer-Verlag New York Inc., grudzień 2000
This text and software package introduces readers to automated theorem proving, while providing two... Cały opis
? points 425 b
Gwarancja
najlepszej
ceny ▸
751.04 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Labyrint světa a ráj srdce collegium / Książka Miękka
common.buy 30.56 zł
Réussir le concours de technicien de police technique et scientifique de la police nationale (concours externe et interne) Quillien / Książka Miękka
common.buy 137.24 zł
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Książka Miękka
common.buy 28.94 zł
UNDER EXECUTION, UNDER JAILBREAK ARAKI / Książka Książka
common.buy 55.46 zł
TOP
ONE PIECE Nº 05 (3 EN 1) ODA / Książka Miękka
common.buy 76.11 zł
Livre sonore Petit Ours Brun - Mon année en chansons Marie Aubinais / Książka Książka
common.buy 92.20 zł
Die neue Linie 1 B1.1 - Hybride Ausgabe allango Susan Kaufmann / Książka Miękka
common.buy 107.99 zł
Psychoanalyse und Neurobiologie Tobias H. Brocher / Książka Twarda
common.buy 111.43 zł
Pour une pensée systémique Donella Meadows / Książka Miękka
common.buy 81.78 zł
New Scandinavian Design Anja Llorella Oriol / Książka Twarda
common.buy 108.30 zł
La protección del consumidor y usuario en el marco de los contratos de adhesión Agustín Vigurt Perea / Książka Miękka
common.buy 130.16 zł
Nudzimisie i przyjaciele Rafal Klimczak / Książka Twarda
common.buy 20.84 zł
National Geographic. In 125 Jahren um die Welt. Asien&Ozeanien; . Reuel Golden / Książka Twarda
common.buy 292.21 zł
Amando Adamari Lopez / Książka Miękka
common.buy 97.36 zł
Čítanie s porozumením V Afrike / Książka Miękka
common.buy 12.04 zł
Hiltl. Vegetarisch nach Lust und Laune / Książka Twarda
common.buy 211.64 zł
Mroczniej James EL / Książka Miękka
common.buy 28.84 zł
Licht aus, kleine Maus! Caroline Opheys / Książka Leporelo
common.buy 29.65 zł
Efectividad de La Magnetoterapia En La Gonartrosis Margarita González Méndez / Książka Miękka
common.buy 111.13 zł
Au coeur du monde un homme pour les autres ANNA MARIA PANTANELL Książka Miękka
common.buy 83.60 zł
Batman - Svět Různí / Książka Twarda
common.buy 83.60 zł

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early chapters introduce first-order predicate calculus, well-formed formulae, and their transformation to clauses. Then the author goes on to show how the two methods work and provides numerous examples for readers to try their hand at theorem-proving experiments. Each chapter comes with exercises designed to familiarise the readers with the ideas and with the software, and answers to many of the problems. Systemanforderung: The theorem-proving software runs under UNIX or LINUX or under IBM's C++ compiler.

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 Automated Theorem Proving
Autor Monty Newborn
Język Angielski
Oprawa Książka - Twarda
Data wydania 2000
Liczba stron 231
EAN 9780387950754
ISBN 0387950753
Kod Libristo 05248009
Wydawnictwo Springer-Verlag New York Inc.
Waga 543
Wymiary 155 x 235 x 18

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Uczenie maszynowe / Systemy uczące się
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
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ć

Interdisciplinarity, Creativity, and Learning Viktor Freiman / Książka Twarda
common.buy 516.41 zł
Automotive Control Systems Uwe Kiencke / Książka Twarda
common.buy 576.84 zł
Digital Shopfloor: Industrial Automation in the Industry 4.0 Era John Soldatos / Książka Twarda
common.buy 561.15 zł
Tanie
The Great Inception: Satan's Psyops from Eden to Armageddon Derek P. Gilbert / Książka Miękka
common.buy 79.35 zł
Zapowiedź Nowość
Galaxies Jake Foster / Książka Miękka
common.buy 41.69 zł
Boathouse Jon Fosse / Książka Miękka
common.buy 57.99 zł
Inter-Organizational Collaboration by Design Jennifer Madden / Książka Twarda
common.buy 1 012.89 zł
TOP
Designs for the Pluriverse Arturo Escobar / Książka Miękka
common.buy 124.89 zł
By-Laws, Rules, and Ordinances for the Government of the Village of Massena, New York Adopted November 14, 1904 Anonymous / Książka Miękka
common.buy 51.00 zł
A Christmas Carol DICKENS / Książka Miękka
common.buy 53.84 zł
Introduction to Industrial Automation NIKOLAKOPOULOS / Książka Twarda
common.buy 760.55 zł
TOP
Shadow and Bone Leigh Bardugo / Książka Miękka
common.buy 36.43 zł
Atlas of Quaternary Pollen and Spores in China Lingyu Tang / Książka Twarda
common.buy 879.28 zł
Jay Gould: The Life and Legacy of the Railroad Executive Who Became America's Most Notorious Robber Baron Charles River Editors / Książka Miękka
common.buy 48.57 zł
Mother Teresa: the Apostle of Love Gautam Ghosh / Książka Miękka
common.buy 70.84 zł
TOP
Hope and Help for Your Nerves: End Anxiety Now Claire Weekes / Książka Miękka
common.buy 67.50 zł
TOP
Berserk Deluxe Volume 6 Kentaro Miura / Książka Twarda
common.buy 162.75 zł
Confessions of St. Augustine Augustine Saint Augustine / Książka Twarda
common.buy 81.98 zł
Playing Nice JP DELANEY / Książka Miękka
common.buy 78.13 zł
Little Renaissance Veronica Glover / Książka Miękka
common.buy 95.04 zł
When Life Gives You Vampires Gloria Duke / Książka Miękka
common.buy 54.95 zł
TOP
Bridgerton Boxed Set 5-8: To Sir Phillip, with Love / When He Was Wicked / It's in His Kiss / On the Way to the Wedding QUINN JULIA / Książka Miękka
common.buy 248.89 zł
Playing with Purpose: Racing Mike Yorkey / E-book Adobe ePub DRM
common.buy 71.86 zł
Happy by Design Ben Channon / Książka Miękka
common.buy 150.91 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?