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

Logic for Programming, Artificial Intelligence, and Reasoning

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Logic for Programming, Artificial Intelligence, and Reasoning Matthias Baaz
Código Libristo: 01555913
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octubre 2002
This book constitutes the refereed proceedings of the 9th International Conference on Logic for Prog... Descripción completa
? points 136 b
55.49 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Leto tvojej nehy Juraj Kalnický / Libro Tapa dura
common.buy 3.59 €
Egal was sich auch ändert, das Herz bleibt genau dasselbe Berman Vered / Libro Tapa dura
common.buy 15.99 €
Gold & Rainbows-The Warner Bros Years 1969-1978 Seals and Crofts / Audio CD de audio
common.buy 68.39 €
LES COQUILLAGES ET CE QU'ILS CACHENT Helen SCALES / Libro Libro
common.buy 17.19 €
Knooking – pletení na háčku. Základní postupy krok za krokem Veronika Hugová / Libro Tapa blanda
common.buy 10.49 €
CONTRE-NOIR MATTHIEU PECK / Libro Tapa blanda
common.buy 25.39 €
Die Silbermeer-Saga (Band 2) - Die Fließende Karte Katharina Hartwell / Libro Tapa dura
common.buy 21.79 €
Mezi vilami Justin Quinn / Libro Tapa dura
common.buy 11.39 €
Bachiben Ane Babubhai Amricama: Gujarati Hasya Navalakathaa Kirit Bhakta / Libro Tapa blanda
common.buy 11.59 €
Promenades A Chamouni Lutz-M / Libro Tapa blanda
common.buy 15.09 €
Karma Tolstói / Libro Tapa blanda
common.buy 11.79 €
Etudes de la Nature. Tome 3 Henri Bernardin De Saint-Pierre / Libro Tapa blanda
common.buy 34.29 €

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.

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 Logic for Programming, Artificial Intelligence, and Reasoning
Autor Matthias Baaz, Andrei Voronkov
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2002
Número de páginas 470
EAN 9783540000105
ISBN 3540000100
Código Libristo 01555913
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1490
Dimensiones 155 x 235 x 27

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 > Ingeniería del software
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
Computación e informática > Sistemas operativos
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

Non Coding RNAs in Plants Volker A. Erdmann / Libro Tapa blanda
common.buy 225.39 €
Army of Shadows Joseph Kessel / Libro Tapa blanda
common.buy 18.09 €
Legacies of Great Men in World Soccer Kausik Bandyopadhyay / Libro Tapa dura
common.buy 147.59 €
Papers by Command, Volume 88 Great Britain Parliament House of Comm / Libro Tapa dura
common.buy 52.39 €
Próximamente
Skills-Based Health Education Mary Connolly / Libro Tapa blanda
common.buy 159.19 €
Ordnance Survey Memoirs of Ireland: Vol. 11: Parishes of Co. Londonderry III: 1831-5 Angelique Day / Libro Tapa blanda
common.buy 17.29 €
Learn Java for Android Development: Java 8 and Android 5 Edition Jeff Friesen / Libro Tapa blanda
common.buy 30.69 €
Family Tree Albany De Fonblanque / Libro Tapa dura
common.buy 35.79 €
Frankia in Heavy Metals and Aromatic Compounds Bio-remediation Medhat Rehan / Libro Tapa blanda
common.buy 55.09 €
Life Less Throwaway Tara Button / Libro Tapa blanda
common.buy 17.39 €
NETWORKING 2012 Workshops Zdenek Becvar / Libro Tapa blanda
common.buy 56.59 €
Ice Kevin Tinto / Libro Tapa blanda
common.buy 16.79 €
Chemistry: Theory and Practice BRUCE HORAK / Libro Tapa dura
common.buy 134.79 €
Nursing Care and ECMO Chirine Mossadegh / Libro Tapa blanda
common.buy 42.19 €
Hymns for Brass: Conductor Hal Leonard Corp / Libro Tapa blanda
common.buy 14.29 €
Write Now Inga Dubay / Libro Tapa blanda
common.buy 14.29 €
New Spring: Prequel to the Wheel of Time Robert Jordan / Libro Tapa blanda
common.buy 8.89 €
Expanding World Ayahuasca Diaspora Beatriz Caiuby Labate / Libro Tapa blanda
common.buy 68.19 €
Through Deserts And Oases Of Central Asia Ella Sykes / Libro Tapa dura
common.buy 47.49 €
Próximamente
National Geographic Traveler Japan 7th Edition E07 / Libro Tapa blanda
common.buy 26.39 €
Broken Boundaries Katherine M. Quinsey / Libro Tapa blanda
common.buy 35.19 €
Seed-borne plant virus diseases K. Subramanya Sastry / Libro Tapa dura
common.buy 169.09 €
Building Structures Illustrated - Patterns, Systems, and Design, Second Edition Francis D K Ching / Libro Tapa blanda
common.buy 55.59 €
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE Bran Selic / Libro Tapa blanda
common.buy 71.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?