Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Automated Theorem Proving

Theory and Practice

Limba englezăengleză
Carte Carte broșată
Carte Automated Theorem Proving Monty Newborn
Codul Libristo: 02174450
Editura Springer-Verlag New York Inc., mai 2013
This text and software package introduces readers to automated theorem proving, while providing two... Descrierea completă
? points 326 b
706.72 lei
În depozitul extern în cantități mici Expediem în 11-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Finance d'entreprise 6e édition Mohamed Akli Achabou / Carte Carte broșată
common.buy 368.38 lei
MANGA STYLE 07: KIRA YUKISHIRO YUKISHIRO / Carte Carte
common.buy 129.69 lei
Richard Dotzauer a osobnosti podnikatelského života 19. století Petr Valenta / Carte Copertă tare
common.buy 84.86 lei
Latin Ou L'Empire D'Un Signe (Le) Francoise Waquet / Carte Carte broșată
common.buy 159.43 lei
Introducción a la moderna antropolog­a cultural BOCK / Carte Carte broșată
common.buy 70.19 lei
ENTRELACS / INTERLACE HELLA JONGERIUS Carte Carte
common.buy 41.59 lei
Dynamique paysanne et développement rural au Congo N'Kaloulou / Carte Carte broșată
common.buy 119.81 lei
Panda Kalioujny / Carte Copertă tare
common.buy 95.47 lei
Un terrain contesté Tamir Sorek / Carte Carte broșată
common.buy 189.91 lei
Customização Curricular no Ensino Médio ROBERTO RAFAEL DIAS DA SILVA / Carte binding.
common.buy 91.41 lei
Spaziergang nach Syrakus im Jahre 1802 Johann Gottfried Seume / Carte Carte broșată
common.buy 65.62 lei
Einfahrt Freihalden! Winfried G. Luible / Carte Carte broșată
common.buy 36.60 lei
Ocho días de marzo : el reencuentro con el policía resucitado Jordi Sierra i Fabra / Carte Carte broșată
common.buy 68.01 lei
Prima Che Fossimo in Tre: : Ethan E Rhett L A Witt / Carte Carte broșată
common.buy 66.87 lei
Der geheimnisvolle Planet... Arnd Stein / Audio Audio CD
common.buy 91.20 lei
Bound to Her Inka Loreen Minden / Carte Carte broșată
common.buy 31.19 lei
Fraulein von Scuderi E.T.A. Hoffmann / Carte Carte broșată
common.buy 115.44 lei
Rechtsetzungsverfahren in der Europaischen Gemeinschaft Anja Repke / Carte Carte broșată
common.buy 94.84 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Automated Theorem Proving
Autor Monty Newborn
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 231
EAN 9781461265191
ISBN 1461265193
Codul Libristo 02174450
Editura Springer-Verlag New York Inc.
Greutatea 385
Dimensiuni 155 x 235 x 14

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Analysis of Shells and Plates Phillip L. Gould / Carte Carte broșată
common.buy 306.29 lei
Rat Race Ashley Pines / Carte Carte broșată
common.buy 91.00 lei
Standard First Aid, CPR, and AED American College Of Emergency Physicians / Carte Carte broșată
common.buy 127.61 lei
Bhayanak Mahal / Carte Carte broșată
common.buy 96.20 lei
Modern Software Engineering Ryan McNeil / Carte Copertă tare
common.buy 667.09 lei
Psychological aspects in in lessons - teaching Günther Dichatschek / Carte Carte broșată
common.buy 245.65 lei
Vendetta - Alles was ihm blieb war Rache Elliott Lester / Videoclip Blu-ray
common.buy 98.28 lei
Paleo Desserts Sourabh Aryabhatta / Carte Carte broșată
common.buy 56.99 lei
Wheels of Thunder S. Parish / Carte Carte broșată
common.buy 90.79 lei
Economic Models of Trade Unions P. Garonna / Carte Copertă tare
common.buy 689.87 lei
Death Ship Bruno Traven / Carte Copertă tare
common.buy 217.05 lei
Catechism of Health Bernhard Christoph Faust / Carte Carte broșată
common.buy 136.45 lei
How to Lobby at Intergovernmental Meetings Michael Strauss / Carte Carte broșată
common.buy 337.91 lei
Understanding Freud Steven T. Katz / Carte Copertă tare
common.buy 668.34 lei
Scandal and Silence - Media Response to Presidential Misconduct Robert M. Entman / Carte Carte broșată
common.buy 147.47 lei
Top
The Mortal Instruments 1: City of Bones Cassandra Clare / Carte Carte broșată
common.buy 51.06 lei
Health Economics Divya Sonawane / Carte Carte broșată
common.buy 236.50 lei
Innovating Government Simone van der Hof / Carte Copertă tare
common.buy 600.42 lei
Ecological Dynamics of Tropical Inland Waters Jack F. TallingJacques Lemoalle / Carte Carte broșată
common.buy 367.13 lei
Moral Dilemmas in Medieval Thought M. V. Dougherty / Carte Carte broșată
common.buy 312.74 lei
Charge Transport in DNA - Insights from Simulations Mario Wolter / Carte Carte broșată
common.buy 299.11 lei
Cylinder Seals from the Collections of the Aleppo Museum, Sy Hamido Hammade / Carte Carte broșată
common.buy 352.37 lei
Feminist Perspectives on Building a Better Psychological Science of Gender Tomi-Ann Roberts / Carte Copertă tare
common.buy 653.47 lei
Conversations and Desserts Anjanette Seymour / Carte Carte broșată
common.buy 89.23 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?