Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Automated Theorem Proving

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

Theory and Practice

Monty Newborn

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02174450

Nakladatelství Springer-Verlag New York Inc., květen 2013

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

Libristo kód: 02174450

276 b

2 762 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Finance d'entreprise 6e édition Mohamed Akli Achabou

Brožovaná

1 701 Kč

MANGA STYLE 07: KIRA YUKISHIRO YUKISHIRO

Kniha

575 Kč

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

Pevná

378 Kč

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

Brožovaná

736 Kč

Introducción a la moderna antropologa cultural BOCK

Brožovaná

324 Kč

ENTRELACS / INTERLACE HELLA JONGERIUS Kniha

Kniha

192 Kč

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

Brožovaná

491 Kč

Panda Kalioujny

Pevná

441 Kč

Un terrain contesté Tamir Sorek

Brožovaná

877 Kč

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

binding.

401 Kč

Spaziergang nach Syrakus im Jahre 1802 Johann Gottfried Seume

Brožovaná

269 Kč

Einfahrt Freihalden! Winfried G. Luible

Brožovaná

153 Kč

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

Brožovaná

314 Kč

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

Brožovaná

279 Kč

Der geheimnisvolle Planet... Arnd Stein

Audio CD

383 Kč

Bound to Her Inka Loreen Minden

Brožovaná

131 Kč

Fraulein von Scuderi E.T.A. Hoffmann

Brožovaná

206 Kč

Rechtsetzungsverfahren in der Europaischen Gemeinschaft Anja Repke

Brožovaná

389 Kč

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 pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Automated Theorem Proving

Autor Monty Newborn

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2013

Počet stran 231

EAN 9781461265191

ISBN 1461265193

Libristo kód 02174450

Nakladatelství Springer-Verlag New York Inc.

Váha 385

Rozměry 155 x 235 x 14

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika

Matematika a věda > Matematika > Matematické základy > Matematická logika

Výpočetní a informační technologie > Informatika > Umělá inteligence > Strojní učení

Výpočetní a informační technologie > Informatika > Teorie algoritmů