Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Automated Theorem Proving

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

Theory and Practice

Monty Newborn

Lingua

Inglese

Libro In brossura

Codice Libristo: 02174450

Casa editrice Springer-Verlag New York Inc., maggio 2013

This text and software package introduces readers to automated theorem proving, while providing two... Descrizione completa

Codice Libristo: 02174450

309 b

126.09 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Finance d'entreprise 6e édition Mohamed Akli Achabou

In brossura

72.49 €

MANGA STYLE 07: KIRA YUKISHIRO YUKISHIRO

Libro

24.49 €

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

Rigido

16.89 €

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

In brossura

31.39 €

Introducción a la moderna antropologa cultural BOCK

In brossura

13.19 €

ENTRELACS / INTERLACE HELLA JONGERIUS Libro

Libro

8.19 €

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

In brossura

22.59 €

Panda Kalioujny

Rigido

17.99 €

Un terrain contesté Tamir Sorek

In brossura

37.39 €

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

binding.

17.19 €

Spaziergang nach Syrakus im Jahre 1802 Johann Gottfried Seume

In brossura

12.39 €

Einfahrt Freihalden! Winfried G. Luible

In brossura

6.89 €

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

In brossura

12.79 €

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

In brossura

12.59 €

Der geheimnisvolle Planet... Arnd Stein

CD audio

17.19 €

Bound to Her Inka Loreen Minden

In brossura

5.89 €

Fraulein von Scuderi E.T.A. Hoffmann

In brossura

9.49 €

Rechtsetzungsverfahren in der Europaischen Gemeinschaft Anja Repke

In brossura

17.89 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Automated Theorem Proving

Autore Monty Newborn

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2013

Numero di pagine 231

EAN 9781461265191

ISBN 1461265193

Codice Libristo 02174450

Casa editrice Springer-Verlag New York Inc.

Peso 385

Dimensioni 155 x 235 x 14

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Apprendimento automatico (Machine learning)

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione