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.

Logic for Applications

Name: Logic for Applications
Brand: Springer, Berlin
SKU: 01429198
Price: 94.39 EUR
Availability: InStock
Author: Anil Nerode
ISBN: 9781468402131

Anil Nerode

Richard A. Shore

Lingua

Inglese

Libro In brossura

Codice Libristo: 01429198

Casa editrice Springer, Berlin, novembre 2011

This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction... Descrizione completa

Codice Libristo: 01429198

231 b

94.39 €

50% di possibilità Cercheremo nel mondo Quando riceverò il libro?

30 giorni per il reso

I clienti hanno acquistato anche

Depend?ncia de smartphones e seu impacto no sistema músculo-esquelético Ashish Dobhal

In brossura

40.99 €

Balance de nitrógeno y emisiones de GEI en pastos tropicales Bruno José Alves

In brossura

51.19 €

Der neue Landdoktor Paket 1 - Arztroman Tessa Hofreiter

Adobe ePub DRM

178.99 €

Abych nezapomněl Lukáš Prchal

In brossura

3.79 €

ΑΡΧΑΙΟΙ ΕΛΛΗΝΕΣ Πλάτων (427 - 347 π.Χ.) Χαράλαμπος Τ. Γκόλιας

In brossura

16.19 €

La vallée des lis Thomas A. Kempis

In brossura

21.89 €

Le Bruit du temps Ossip Mandelstam

In brossura

17.69 €

Kommissar Batdorj und die alten Helden von Chowd-Aimag Span Nungpur

In brossura

7.59 €

Freut euch, denn der Herr ist nahe ! Otto

In brossura

16.49 €

Die Germanische Urgeschichte in Tacitus Germania (1922) Eduard Norden

In brossura

43.59 €

MARVEL STUDIOS MARVEL

Rigido

23.19 €

Seitz - Silvestre Andreas Beyer

Rigido

339.39 €

Le Secret de la Paix Sociale: Etude Dediee A M. Le Comte Albert de Mun Orry-A-M

In brossura

17.09 €

Turismo Astronomico Laura Garach

In brossura

38.29 €

Composicao centesimal e perfil de acidos graxos da carne de cordeiro Lima Lopes Jose Evanaldo

In brossura

33.59 €

This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction as a form of computation. It can be used to teach classical, modal, and intuitistic predicate logic. It also presents the logical and mathematical foundations for resolution theorem proving and Logic Programming. A distinctive feature of this book is its uniform mathematical treatment of logic, based on the tableau method of classical logic, which includes soundness, completeness, compactness, incompleteness, and the theorems of Herb Rand and Skolem-L Wenheim. The same uniform treatment is used for important areas of application in computer science and artificial intelligence. These include resolution theorem proving, Logic Programming and Prolog, Predicate Intuitionistic Logic, and Predicate Modal Logic. There is also an historical appendix and an extensive list of selected references so that both the background and more advanced developments of these subjects can be understood and pursued. This text is appropriate for upper level undergraduate and beginning graduate students.