Contacto
Cómo comprar
Entrega
Guía de compras
10th International Conference on Automated Deduction
Kaiserslautern, FRG, July 24-27, 1990. Proceedings
Inglés
386 b
Hasta 30 días para devoluciones
Clientes que también han comprado
/
Adobe ePub DRM
9.29
€
/
Adobe ePub DRM
13.99
€
/
binding.
20.89
€
/
Tapa blanda
58.09
€
/
Tapa blanda
28.69
€
/
Tapa blanda
42.39
€
/
Tapa blanda
17.89
€
/
Tapa blanda
17.89
€
This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic. The papers included range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics; they refine and use a wealth of methods including resolution, paramodulation, rewriting, completion, unification and induction; and they work with a variety of applications including program verification, logic programming, deductive databases, and theorem proving in many domains. The volume also contains abstracts of 20 implementations of automated deduction systems. The authors of about half the papers are from the United States, many are from Western Europe, and many too are from the rest of the world. The proceedings of the 5th, 6th, 7th, 8th and 9th CADE conferences are published as Volumes 87, 138, 170, 230, 310 in the series Lecture Notes in Computer Science.
Sobre el libro
Inglés
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 destinatarioTambién puede interesarle
/
Tapa dura
112.79
€
/
Tapa dura
47.49
€
/
Tapa blanda
13.59
€
¡Hola! Soy Libroamiko, tu asesor de libros.
¿Cómo puedo ayudarte?