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

Computer Science Logic

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Science Logic Zoltán Ésik
Código Libristo: 01564793
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septiembre 2006
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Gangland Chuck Hogan / Libro Tapa blanda
common.buy 30.09 €
Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo / Video Blu-ray
common.buy 38.59 €
Microsoft Office 365 Karel Klatovský / Libro Tapa blanda
common.buy 11.69 €
Insolvenzrecht Michael App / Libro Tapa blanda
common.buy 56.89 €
Rol' lekarstwennyh traw w farmacewtike Ali Khan / Libro Tapa blanda
common.buy 19.69 €
Mapa Oceanía físico edigol ediciones / Libro Tapa blanda
common.buy 14.29 €
Aprende a tocar la batería Peter Gelling / Libro Tapa blanda
common.buy 33.39 €
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Libro Tapa blanda
common.buy 19.39 €
Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez / Libro Tapa blanda
common.buy 60.69 €
Un árbol caído Rafael Reig / Libro Tapa blanda
common.buy 10.95 €
El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS / Libro Tapa blanda
common.buy 13.39 €
La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa / Libro Tapa blanda
common.buy 46.69 €
Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius / Libro Tapa blanda
common.buy 34.49 €
Adaptaciones cinematográficas de novelas cubanas en el ICAIC Juan Ramón Ferrera Vaillant / Libro Tapa blanda
common.buy 38.49 €
Conjuguez sans faute / Libro Tapa blanda
common.buy 6.59 €
Tajomstvo úspechu troch majstrov Napoleon Hill / Libro Tapa dura
common.buy 16.39 €

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.

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 Computer Science Logic
Autor Zoltán Ésik
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2006
Número de páginas 627
EAN 9783540454588
ISBN 3540454586
Código Libristo 01564793
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 961
Dimensiones 155 x 235 x 35

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
Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemá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

Something Happened on the Way to Heaven Sudha Murty / Libro Tapa blanda
common.buy 12.69 €
Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan / Libro Tapa blanda
common.buy 19.99 €
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Libro Tapa blanda
common.buy 17.09 €
The Law of Executors and Administrators. Samuel Toller / Libro Tapa blanda
common.buy 32.79 €
Body Awareness MR Roger Day / Libro Tapa blanda
common.buy 12.29 €
Chauffeur and the Chaperon C. N. WILLIAMSON / Libro Tapa dura
common.buy 37.69 €
Mecca F. E. Peters / Libro Tapa blanda
common.buy 111.09 €
Seven Princes of the Thousand Year Labyrinth Aikawa Yu / Libro Tapa blanda
common.buy 13.69 €
Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market / Libro Tapa dura
common.buy 31.99 €
Justice League: Last Ride Miguel Mendonca / Libro Tapa blanda
common.buy 14.69 €
Return to Moominvalley: Adventures in Moominvalley Book 3 Amanda Li / Libro Tapa blanda
common.buy 13.19 €
Craven Street Yuri Rasovsky / Audiolibro MP3
common.buy 12.99 €
Mastering Bread Marc Vetri / Libro electrónico Adobe ePub DRM
common.buy 6.69 €
Islam Lovat / Libro Tapa blanda
common.buy 31.19 €
International Who's Who in Classical Music 2010 Europa Publications / Libro Tapa dura
common.buy 411.59 €
For Sinners Only A J Russell / Libro Tapa blanda
common.buy 17.19 €
Liber Costumarum Christopher Markham / Libro Tapa blanda
common.buy 17.89 €
Play or Pay. a Novelette. Hawley Smart / Libro Tapa blanda
common.buy 22.59 €
Chora 5 Alberto Perez-Gomez / Libro Tapa blanda
common.buy 46.69 €
Questions about God Steven M. Cahn / Libro Tapa dura
common.buy 107.49 €
Deleuze's Cinema Books David Deamer / Libro Tapa dura
common.buy 126.99 €
Cosmic B1+ Test Book Katerina Mestheneou / Libro Tapa blanda
common.buy 24.39 €
Value Solutions In Cooperative Games Roger A McCain / Libro Tapa dura
common.buy 100.69 €
Logic Programming with Prolog Beverley Ford / Libro Tapa blanda
common.buy 55.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?