«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.

Automated Deduction - CADE-19

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Automated Deduction - CADE-19 Franz Baader
Código Libristo: 01562844
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julio 2003
The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, hel... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Videnia 1: Život Preblahoslavenej Panny Márie Anna Katarína Emmerichová / Libro Tapa dura
common.buy 24.59 €
brava veterinaria. Facciamo che ero Donata Quagliotti / Libro Tapa dura
common.buy 22.49 €
A Era da Libertaç?o na LIGAO & O Rescaldo da Segunda Guerra Mundial 1944-1945 Marilou D. Tino / Libro Tapa blanda
common.buy 43.29 €
Obesit? e riserva ovarica Manal Mohammed Ali / Libro Tapa blanda
common.buy 39.39 €
CAMINAR SOBRE HIELO (+12 AÑOS) (ERIZONTE) VALLS / Libro Tapa blanda
common.buy 16.19 €
Niño GARCIA MAÑA / Libro Tapa blanda
common.buy 16.99 €
Einmal mit Alles Daniel Esswein / Libro Tapa dura
common.buy 41.99 €
Ján Ondruš Básnické dielo Ján Ondruš / Libro Tapa blanda
common.buy 11.69 €
Dřevěné kostky Zvířátka 2 kostky / Juego/Juguete Juguete
common.buy 6.09 €
LOS MEJORES DESTINOS DEL ROMÁNICO EN ESPAÑA JAIME COBREROS / Libro Tapa dura
common.buy 22.95 €
Daltonismo-¿de qué color lo ves? Violeta Crespo / Libro Tapa blanda
common.buy 13.39 €
Der Murks mit der Milch Max O. Bruker / Libro Tapa blanda
common.buy 17.69 €
Próximamente
Lehrbuch Dieter Blohm / Libro Tapa dura
common.buy 58.69 €
Norm, Person, Gesellschaft. Günther Jakobs / Libro Tapa blanda
common.buy 31.09 €
Die uneheliche Mutterschaft im altösterreichischen Polizeirecht des 16. bis 18. Jahrhunderts, dargestellt am Tatbestand der Fornication. Egon Conrad Ellrichshausen / Libro Tapa blanda
common.buy 51.79 €
Česko-slovenské vztahy 10 let po rozpadu federace Peter Kolesár / Libro binding.
common.buy 3.79 €
Dárkové krabičky ve tvaru hvězdy 6 kusů / Artículos de papelería Artículos de papelería
common.buy 7.79 €

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003.§The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.

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 Automated Deduction - CADE-19
Autor Franz Baader
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2003
Número de páginas 512
EAN 9783540405597
ISBN 3540405593
Código Libristo 01562844
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1600
Dimensiones 155 x 235 x 29

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
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

Intelligent Strategies for Meta Multiple Criteria Decision Making Thomas Hanne / Libro Tapa blanda
common.buy 112.79 €
Teaching Ministry of the Church James D. Smart / Libro Tapa blanda
common.buy 30.49 €
Glorious Boy Aimee Liu / Libro Tapa blanda
common.buy 17.99 €
Ghost Sonata Gary Reed / Libro Tapa blanda
common.buy 11.19 €
Night of the Cat Richard Waltner / Libro Tapa blanda
common.buy 21.09 €
Church Reform Movement at Rome Charles R Conybeare / Libro Tapa blanda
common.buy 12.89 €
Brave Men and Women Osgood E Fuller / Libro Tapa blanda
common.buy 9.79 €
The Art of Simpling: An Introduction to the Knowledge and Gathering of Plants William Coles / Libro Tapa blanda
common.buy 26.89 €
THE ELEMENTS OF MENTAL AND MORAL SCIENCE WILLIAM CH COUPLAND / Libro Tapa dura
common.buy 33.69 €
Liberty Day October 12, 1918. Suggestions for Community Celebrations Henry Ezekiel Jackson / Libro Tapa dura
common.buy 27.89 €
Technical Study of the Maintenance and Fattening of Lambs and Their Utilization of a Ration of Alfalfa Hay and Corn H H 1886-1966 Mitchell / Libro Tapa dura
common.buy 27.89 €
Vigilante Witch Hunter Gary Turcotte / Libro Tapa blanda
common.buy 22.99 €
History of Cherry Valley. from 1740 to 1898. John Sawyer / Libro Tapa blanda
common.buy 18.69 €
Tree Tops Jim Corbett / Libro Tapa blanda
common.buy 5.09 €
Art of Frozen Charles Solomon / Libro Tapa dura
common.buy 34.39 €
DNA Methylation, Epigenetics and Metastasis M. Esteller / Libro Tapa dura
common.buy 234.09 €
Empirico-Statistical Analysis of Narrative Material and its Applications to Historical Dating. Vol.1 A.T. Fomenko / Libro Tapa dura
common.buy 112.79 €
Comic Books as History Joseph Witek / Libro Tapa blanda
common.buy 41.29 €
Norfolk W A Dutt / Libro Tapa blanda
common.buy 29.69 €
Functional Foods and Nutraceuticals Aluko / Libro Tapa dura
common.buy 94.09 €
Iki and The Ocean Protectors Martha Johnston / Libro Tapa dura
common.buy 25.99 €
Realizing Beloved Community Allen K. Shin / Libro electrónico Adobe ePub DRM
common.buy 34.29 €

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?