«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

14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Computer Science Logic Peter G. Clote
Código Libristo: 01567557
Editores Springer, Berlin, noviembre 1999
This book constitutes the refereed proceedings of the 13th International Workshop on Computer Scienc... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

Pharmakotherapie am Auge Eugen Gramer / Libro Tapa blanda
common.buy 58.09 €
Maria Werner Charlotte Spaeth / Libro Tapa blanda
common.buy 34.49 €
Mozart's Leben. Aleksandr Dmitrievich Ulybyshev / Libro Tapa blanda
common.buy 26.89 €
EL MALA DE DIOS MOOJI / Libro Tapa blanda
common.buy 18.29 €
Le carnet d'Yann - Lignes, 96p, A5 - Chapeau et N ud papillon / Calendario/Diario Diario
common.buy 10.89 €
Doppel-Klick - Das Sprach- und Lesebuch - Nordrhein-Westfalen - 10. Schuljahr Hans J. Heinz / Libro Tapa dura
common.buy 36.19 €
Transfer Von Erfahrungen Bernd Humpl / Libro Tapa blanda
common.buy 79.19 €

This book constitutes the refereed proceedings of the 13th International Workshop on Computer Science Logic, CSL 2000, held in Fischbachau, Germany as the 8th Annual Conference of the EACSL in August 2000. The 28 revised full papers presented together with eight invited papers were carefully reviewed and selected by the program committee. Among the topics covered are automated deduction, theorem proving, categorical logic, term rewriting, finite model theory, higher order logic, lambda and combinatory calculi, computational complexity, logic programing, constraints, linear logic, modal logic, temporal logic, model checking, formal specification, formal verification, program transformation, 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 Computer Science Logic
Autor Peter G. Clote, Helmut Schwichtenberg
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2000
Número de páginas 550
EAN 9783540678953
ISBN 3540678956
Código Libristo 01567557
Editores Springer, Berlin
Peso 780
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
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 > Análisis y diseño de sistemas
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

Law of Railways, Including the Consolidation and Other General Acts of Regulating Railways in England and Ireland, with Copious Notes of Decided Cases Leonard Shelford / Libro Tapa dura
common.buy 44.59 €
Works of Jeremy Bentham, published under his executor, John Bowring. [The General Preface signed John Bowring / Libro Tapa blanda
common.buy 32.79 €
Good Ideas and Power Moves Sin ad O Sullivan / Libro electrónico Adobe ePub DRM
common.buy 17.39 €
If We Burn: The Mass Protest Decade and the Missing Revolution Vincent Bevins / Libro Tapa blanda
common.buy 15.89 €
AngelGoonz / Libro Tapa blanda
common.buy 20.09 €
Seven Days to the Funeral Julia Sherwood / Libro Tapa blanda
common.buy 29.49 €
Beethoven: The String Quartets David Vernon / Libro Tapa blanda
common.buy 16.39 €
Bloody Kisses Mukoro Stevenson Mukoro / Libro Tapa blanda
common.buy 20.79 €
The Romance Of The Sowdone Of Babylon And Of Ferumbras His Son Who Conquered Rome (1881) Thomas Phillipps / Libro Tapa blanda
common.buy 27.89 €
A Room With A View Edward Morgan Forster / Libro Tapa blanda
common.buy 10.69 €
Soul Ties Tammy Henson / Libro Tapa blanda
common.buy 13.19 €
Executive Politics in Times of Crisis M. Lodge / Libro Tapa blanda
common.buy 58.29 €
Very British Revolution Martin Bell / Libro Tapa blanda
common.buy 19.89 €
Popular Religion in Germany and Central Europe, 1400-1800 R Johnson T.R. Sc / Libro Tapa blanda
common.buy 62.99 €
One Discipline, Four Ways Andre Gingrich / Libro Tapa blanda
common.buy 39.59 €
Evolutionary Biology Max K. Hecht / Libro Tapa dura
common.buy 118.29 €
Actin-Binding Proteins and Disease Cris dos Remedios / Libro Tapa blanda
common.buy 225.39 €
Remote Sensing Siamak Khorram / Libro Tapa blanda
common.buy 56.59 €
Próximamente
Democracy and Communication in the New Europe Farrel Corcoran / Libro Tapa dura
common.buy 79.39 €
Great Opera Houses: Masterpieces of Architecture Andras Kaldor / Libro Tapa dura
common.buy 12.69 €
Family Policy and Disability Arie Rimmerman / Libro Tapa dura
common.buy 150.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?