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

Logical Frameworks

Idioma InglésInglés
Libro Tapa dura
Libro Logical Frameworks Gerard HuetG. Plotkin
Código Libristo: 02030023
Editores Cambridge University Press, septiembre 1991
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.... Descripción completa
? points 305 b
124.59 €
Almacenamiento externo Envío en 9-15 días

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

Clientes que también han comprado

Die Stellung Der Privatdozenten (1896) Joseph Jastrow / Libro Tapa blanda
common.buy 20.99 €
Životopis černobílého jehněte Tomáš Zmeškal / Libro Tapa blanda
common.buy 11.49 €
Klucz Wardeszkiewicz / Audiolibro MP3
common.buy 8.49 €
musikalische Foerderung von autistischen Kindern und Jugendlichen Martin Dietrich / Libro Tapa blanda
common.buy 47.29 €
TOLAYTOLA Y EL ISLAM DILLA MAÑAS / Libro Tapa blanda
common.buy 46.59 €
Mozart-Dialoge Nikolaus Harnoncourt / Libro Tapa blanda
common.buy 25.69 €
Morgenroethe Friedrich Nietzsche / Libro Tapa blanda
common.buy 14.89 €
hermeneutische Bedeutung der Schattenlosigkeit aus den Perspektiven Fremd- und Selbstbestimmung in Chamissos, Peter Schlemihl' Faik Korkmaz / Libro Tapa blanda
common.buy 17.89 €
LA CONJUGALITE Jonckheere / Libro Tapa blanda
common.buy 24.19 €
Le Nouveau Code Civil Roumain Mircea Du u / Libro Tapa blanda
common.buy 38.49 €
El centre comercial TERESA SOLER / Libro Tapa blanda
common.buy 3.59 €
Die Schuldscheindarlehen Walter Staehle / Libro Tapa blanda
common.buy 73.99 €
Wehrlose Ilse Frapan / Libro Tapa dura
common.buy 54.09 €
Popular
Sbírka řešených úloh z fyziky pro střední školy III. Karel Bartuška / Libro Tapa blanda
common.buy 8.59 €
Superar el cáncer : un programa para afrontar un diagnóstico de cáncer Margie Levine / Libro Tapa blanda
common.buy 17.39 €
Gramática y ortografía para Secundaria / Libro Tapa blanda
common.buy 29.49 €
Labyrinthe Kate Mosse / Libro Tapa blanda
common.buy 16.09 €

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.

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 Logical Frameworks
Autor Gerard HuetG. Plotkin
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 1991
Número de páginas 416
EAN 9780521413008
ISBN 0521413001
Código Libristo 02030023
Editores Cambridge University Press
Peso 78
Dimensiones 152 x 229 x 27

Categorías

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

Axiomatic Theories of Truth Volker Halbach / Libro Tapa blanda
common.buy 59.99 €
Green Economy and Urbanisation in Zambia Rodgers Phiri / Libro Tapa blanda
common.buy 35.49 €
A Merry Little Lie MORGAN SARAH / Libro Tapa blanda
common.buy 15.79 €
The Curator Owen King / Libro Tapa blanda
common.buy 10.99 €
Margin of Error Edna Buchanan / Libro electrónico Adobe ePub DRM
common.buy 2.59 €
Toiletpaper Calendar 2022 Maurizio Cattelan / Libro Tapa blanda
common.buy 25.39 €
Basic Paleo-Greek Travis Wayne Goodsell / Libro Tapa blanda
common.buy 8.89 €
Pompeiana William Gell / Libro Tapa blanda
common.buy 27.69 €
Sinking of the Odradek Stadium Harry Mathews / Libro Tapa blanda
common.buy 12.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?