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 Miękka
Książka Automated Theorem Proving Monty Newborn
Kod Libristo: 02174450
Wydawnictwo Springer-Verlag New York Inc., maj 2013
This text and software package introduces readers to automated theorem proving, while providing two... Cały opis
? points 292 b
515.88 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Finance d'entreprise 6e édition Mohamed Akli Achabou / Książka Miękka
common.buy 300.29 zł
MANGA STYLE 07: KIRA YUKISHIRO YUKISHIRO / Książka Książka
common.buy 105.72 zł
Richard Dotzauer a osobnosti podnikatelského života 19. století Petr Valenta / Książka Twarda
common.buy 69.13 zł
Latin Ou L'Empire D'Un Signe (Le) Francoise Waquet / Książka Miękka
common.buy 129.97 zł
Introducción a la moderna antropolog­a cultural BOCK / Książka Miękka
common.buy 57.00 zł
ENTRELACS / INTERLACE HELLA JONGERIUS Książka Książka
common.buy 34.05 zł
Dynamique paysanne et développement rural au Congo N'Kaloulou / Książka Miękka
common.buy 92.07 zł
Panda Kalioujny / Książka Twarda
common.buy 77.31 zł
Un terrain contesté Tamir Sorek / Książka Miękka
common.buy 155.04 zł
Customização Curricular no Ensino Médio ROBERTO RAFAEL DIAS DA SILVA / Książka binding.
common.buy 70.74 zł
Spaziergang nach Syrakus im Jahre 1802 Johann Gottfried Seume / Książka Miękka
common.buy 50.43 zł
Einfahrt Freihalden! Winfried G. Luible / Książka Miękka
common.buy 28.39 zł
Ocho días de marzo : el reencuentro con el policía resucitado Jordi Sierra i Fabra / Książka Miękka
common.buy 55.18 zł
Prima Che Fossimo in Tre: : Ethan E Rhett L A Witt / Książka Miękka
common.buy 51.84 zł
Der geheimnisvolle Planet... Arnd Stein / Audio CD Audio
common.buy 70.95 zł
Bound to Her Inka Loreen Minden / Książka Miękka
common.buy 24.15 zł
Fraulein von Scuderi E.T.A. Hoffmann / Książka Miękka
common.buy 38.60 zł
Rechtsetzungsverfahren in der Europaischen Gemeinschaft Anja Repke / Książka Miękka
common.buy 73.07 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.

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 - Miękka
Data wydania 2013
Liczba stron 231
EAN 9781461265191
ISBN 1461265193
Kod Libristo 02174450
Wydawnictwo Springer-Verlag New York Inc.
Waga 385
Wymiary 155 x 235 x 14

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ć

Analysis of Shells and Plates Phillip L. Gould / Książka Miękka
common.buy 220.54 zł
Rat Race Ashley Pines / Książka Miękka
common.buy 70.74 zł
Standard First Aid, CPR, and AED American College Of Emergency Physicians / Książka Miękka
common.buy 99.45 zł
Bhayanak Mahal / Książka Miękka
common.buy 74.58 zł
Modern Software Engineering Ryan McNeil / Książka Twarda
common.buy 515.68 zł
Psychological aspects in in lessons - teaching Günther Dichatschek / Książka Miękka
common.buy 175.05 zł
Vendetta - Alles was ihm blieb war Rache Elliott Lester / Wideo Blu-ray
common.buy 76.20 zł
Paleo Desserts Sourabh Aryabhatta / Książka Miękka
common.buy 44.06 zł
Wheels of Thunder S. Parish / Książka Miękka
common.buy 70.74 zł
Economic Models of Trade Unions P. Garonna / Książka Twarda
common.buy 538.12 zł
Death Ship Bruno Traven / Książka Twarda
common.buy 168.79 zł
Catechism of Health Bernhard Christoph Faust / Książka Miękka
common.buy 105.82 zł
How to Lobby at Intergovernmental Meetings Michael Strauss / Książka Miękka
common.buy 263.60 zł
Understanding Freud Steven T. Katz / Książka Twarda
common.buy 523.26 zł
Scandal and Silence - Media Response to Presidential Misconduct Robert M. Entman / Książka Miękka
common.buy 103.59 zł
TOP
The Mortal Instruments 1: City of Bones Cassandra Clare / Książka Miękka
common.buy 41.63 zł
Health Economics Divya Sonawane / Książka Miękka
common.buy 167.37 zł
Innovating Government Simone van der Hof / Książka Twarda
common.buy 430.17 zł
Ecological Dynamics of Tropical Inland Waters Jack F. TallingJacques Lemoalle / Książka Miękka
common.buy 285.83 zł
Moral Dilemmas in Medieval Thought M. V. Dougherty / Książka Miękka
common.buy 243.48 zł
Charge Transport in DNA - Insights from Simulations Mario Wolter / Książka Miękka
common.buy 186.78 zł
Cylinder Seals from the Collections of the Aleppo Museum, Sy Hamido Hammade / Książka Miękka
common.buy 272.79 zł
Feminist Perspectives on Building a Better Psychological Science of Gender Tomi-Ann Roberts / Książka Twarda
common.buy 473.03 zł
Conversations and Desserts Anjanette Seymour / Książka Miękka
common.buy 69.53 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?