«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Formal Methods in Artificial Intelligence

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods in Artificial Intelligence Allan M. Ramsay
Código Libristo: 02030414
Editores Cambridge University Press, julio 1991
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-beha... Descripción completa
? points 139 b
56.89 €
Almacenamiento externo Envío en 9-15 días

Hasta 30 días para devoluciones

Clientes que también han comprado

De Bello Et Excidio Trojae, In Usum Serenissimi Delphini (1702) Dictys Cretensis / Libro Tapa blanda
common.buy 47.49 €
New York 2017, Streifenkalender XXL Marco Becher / Calendario/Diario Calendario
common.buy 18.59 €
Alienmorder Stephen Goldin / Libro electrónico Adobe ePub DRM
common.buy 2.89 €
Cryogenic Nightmare Chet Cunningham Audiolibro MP3
common.buy 26.69 €
Fantom I: Přízračné legie Terry Goodkind / Libro Tapa blanda
common.buy 14.09 €
La tarification du carbone et ses répercussions Rokhaya / Libro Tapa blanda
common.buy 27.69 €
Cooperación en la formación entre instituciones / Libro Tapa blanda
common.buy 22.89 €
Triceratops Dennis Schatz / Libro Libro
common.buy 18.79 €
Besch ftigung, Geld Und Preisniveaustabilit t Artur Woll / Libro Tapa blanda
common.buy 65.89 €
Sonneberg 1 : 50 000 (L5732) / Artículos impresos Mapa
common.buy 8.59 €
Mit Volldampf über den Berg. (Puzzle) H. P. Reschinger / Juego/Juguete Juego
common.buy 36.49 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Formal Methods in Artificial Intelligence
Autor Allan M. Ramsay
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1991
Número de páginas 292
EAN 9780521424219
ISBN 0521424216
Código Libristo 02030414
Editores Cambridge University Press
Peso 470
Dimensiones 170 x 244 x 16

Categorías

Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Knowledge Intensive Computer Aided Design Susan Finger / Libro Tapa dura
common.buy 234.09 €
Miscellaneous Papers on Political and Commercial Subjects ]. Noah Webster / Libro Tapa blanda
common.buy 23.29 €
Religion, belief and social work Sheila Furness / Libro Tapa blanda
common.buy 36.09 €
Er Larry Stockstill / Libro Tapa blanda
common.buy 20.09 €
Race and Ethnicity in Anglo-Saxon Literature Stephen J. Harris / Libro Tapa dura
common.buy 242.59 €
Visionary Greg Belter / Libro Tapa blanda
common.buy 8.79 €
FLAGHOPPING And Other Poems MICHAEL PATTWELL / Libro Tapa blanda
common.buy 20.29 €
Acts R. Kent Hughes / Libro Tapa dura
common.buy 38.99 €
Treasury of Miracles for Teens Karen Kingsbury / Libro Tapa dura
common.buy 19.59 €
Óscar y la gata de medianoche Ron Brooks / Libro Tapa blanda
common.buy 16.79 €
Complications of Bone Marrow and Stem Cell Transplants: Fast Focus Study Guide J T Thomas MD / Libro Tapa blanda
common.buy 12.59 €
The Thing That Made the Noise: The Search for the Thing Jaymes Brown / Libro Tapa blanda
common.buy 16.39 €
Growing God's Gifts Lucy Joy / Libro Tapa dura
common.buy 14.09 €
The Soldier's Companion To The Spiritual Exercises (1882) Joseph Redman / Libro Tapa blanda
common.buy 22.99 €
Saddle Club 54: Gold Medal Rider Bonnie Bryant / Libro electrónico Adobe ePub DRM
common.buy 8.09 €
Bioinformatics with Python Cookbook - Third Edition Tiago Antao / Libro Tapa blanda
common.buy 61.19 €
Mr Men Little Miss Audio Collection Roger Hargreaves / Audiolibro MP3
common.buy 6.29 €
Royal School of Needlework: Wall of Wool (Blank Sketch Book) Flame Tree Publishing / Libro Tapa dura
common.buy 14.79 €
In Fields Where Daisies Grow Elizabeth Jeffrey / Libro Tapa blanda
common.buy 31.79 €
Chesapeake Campaigns 1813-15 Scott Sheads / Libro Tapa blanda
common.buy 21.89 €
Popular
Star Wars: The Essential Atlas Daniel Wallace / Libro Tapa blanda
common.buy 28.19 €
Classical Mechanics Walter Greiner / Libro Tapa blanda
common.buy 119.99 €
Quantum Computing Debabrata Goswami / Libro Tapa dura
common.buy 131.99 €
Universality of Nonclassical Nonlinearity Pier Paolo Delsanto / Libro Tapa blanda
common.buy 234.09 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?