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.

Formal Methods in Artificial Intelligence

Name: Formal Methods in Artificial Intelligence
Brand: Cambridge University Press
SKU: 02030414
Price: 56.89 EUR
Availability: InStock
Author: Allan M. Ramsay
ISBN: 9780521424219

Allan M. Ramsay

Lingua

Inglese

Libro In brossura

Codice Libristo: 02030414

Casa editrice Cambridge University Press, luglio 1991

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-beha... Descrizione completa

Codice Libristo: 02030414

139 b

56.89 €

Magazzino esterno Inviamo tra 9-15 giorni

30 giorni per il reso

I clienti hanno acquistato anche

De Bello Et Excidio Trojae, In Usum Serenissimi Delphini (1702) Dictys Cretensis

In brossura

47.49 €

New York 2017, Streifenkalender XXL Marco Becher

Calendario

17.59 €

Alienmorder Stephen Goldin

Adobe ePub DRM

2.79 €

Cryogenic Nightmare Chet Cunningham Audiolibro

MP3

26.09 €

Fantom I: Přízračné legie Terry Goodkind

In brossura

13.79 €

La tarification du carbone et ses répercussions Rokhaya

In brossura

28.39 €

Cooperación en la formación entre instituciones

In brossura

23.49 €

Triceratops Dennis Schatz

Libro

18.39 €

Besch ftigung, Geld Und Preisniveaustabilit t Artur Woll

In brossura

55.29 €

Sonneberg 1 : 50 000 (L5732)

Mappa

8.49 €

Mit Volldampf über den Berg. (Puzzle) H. P. Reschinger

Gioco

35.79 €

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.