Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Automated Theorem Proving

Name: Automated Theorem Proving
Brand: Springer-Verlag New York Inc.
SKU: 02174450
Price: 120.85 EUR
Availability: InStock
Author: Monty Newborn
ISBN: 9781461265191

Theory and Practice

Monty Newborn

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02174450

Nakladateľstvo Springer-Verlag New York Inc., máj 2013

This text and software package introduces readers to automated theorem proving, while providing two... Celý popis

Libristo kód: 02174450

292 b

120.85 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Finance d'entreprise 6e édition Mohamed Akli Achabou

Brožovaná

70.08 €

MANGA STYLE 07: KIRA YUKISHIRO YUKISHIRO

Kniha

23.76 €

Richard Dotzauer a osobnosti podnikatelského života 19. století Petr Valenta

Pevná

15.56 €

Latin Ou L'Empire D'Un Signe (Le) Francoise Waquet

Brožovaná

30.13 €

Introducción a la moderna antropologa cultural BOCK

Brožovaná

13.44 €

ENTRELACS / INTERLACE HELLA JONGERIUS Kniha

Kniha

7.68 €

Dynamique paysanne et développement rural au Congo N'Kaloulou

Brožovaná

20.12 €

Panda Kalioujny

Pevná

18.30 €

Un terrain contesté Tamir Sorek

Brožovaná

35.99 €

Customização Curricular no Ensino Médio ROBERTO RAFAEL DIAS DA SILVA

binding.

16.58 €

Spaziergang nach Syrakus im Jahre 1802 Johann Gottfried Seume

Brožovaná

11.82 €

Einfahrt Freihalden! Winfried G. Luible

Brožovaná

6.66 €

Ocho días de marzo : el reencuentro con el policía resucitado Jordi Sierra i Fabra

Brožovaná

13.04 €

Prima Che Fossimo in Tre: : Ethan E Rhett L A Witt

Brožovaná

11.52 €

Der geheimnisvolle Planet... Arnd Stein

Audio CD

16.58 €

Bound to Her Inka Loreen Minden

Brožovaná

5.65 €

Fraulein von Scuderi E.T.A. Hoffmann

Brožovaná

8.99 €

Rechtsetzungsverfahren in der Europaischen Gemeinschaft Anja Repke

Brožovaná

17.08 €

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.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Automated Theorem Proving

Autor Monty Newborn

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2013

Počet strán 231

EAN 9781461265191

ISBN 1461265193

Libristo kód 02174450

Nakladateľstvo Springer-Verlag New York Inc.

Váha 385

Rozmery 155 x 235 x 14

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Matematika a veda > Matematika > Matematické základy > Matematická logika

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Strojové učenie

Výpočtové a informačné technológie > Informatika > Teória algoritmov