«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 Foundations of Computer Science

3rd International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Logical Foundations of Computer Science Yu. V. Matiyasevich
Código Libristo: 05274393
Editores Springer, Berlin, noviembre 1993
This volume presents the refereed papers accepted for the international symposium Logical Foundation... 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

La llengua catalana al segle XVIII Balsalobre / Libro Libro
common.buy 37.59 €
A Page is Just the Beginning Dan Lin / Libro Tapa blanda
common.buy 8.69 €
Eine Kleine Nachtmusik/Notturno/Symphony 39 / Audio CD de audio
common.buy 19.39 €
Le Poulpe : La belge et la bête Bruce Mayence / Libro Tapa dura
common.buy 13.39 €
English 2 Repetytorium tematyczno-leksykalne Malgorzata Cieslak / Libro Tapa blanda
common.buy 10.79 €
Planches insolites 170 ans de trésors collegium / Libro Tapa dura
common.buy 32.59 €
CD MP3 Wielkie Księstwo Groteski Szczepan Twardoch / Audiolibro MP3
common.buy 8.99 €
Storia del Nord Africa indipendente. Tra imperialismi, nazionalismi e autoritarismi Caterina Roggero / Libro Tapa blanda
common.buy 22.59 €
The Philosophers, 1 DVD William Yeh / Video DVD
common.buy 9.99 €
Rechtliche Aspekte beim Betrieb von PKW mit national/international ortsfremden Kennzeichen Moritz Hennig / Libro Tapa blanda
common.buy 37.49 €
Popular
Legszebb Grimm mesék / Libro Tapa blanda
common.buy 6.69 €
Die Vier Grossmeister Der Aufklärungs-Theologie (Herder, Paulus, Schleiermacher, Strauss) in Ihrem Schreiben Und Treiben Verständlich Und Nach Möglich Sebastian Brunner / Libro Tapa blanda
common.buy 32.79 €
Dogadać się z dzieckiem Berendt Joanna / Libro Tapa blanda
common.buy 9.19 €
Mord ist ihre Leidenschaft J. D. Robb / Libro Tapa blanda
common.buy 12.99 €
Anwendung der Grundsätze zur Haftung für Links auf urheberrechtswidrige Inhalte aus EuGH GS Media (C-160/15) auf Suchmaschinen? Paul Schneider / Libro Tapa blanda
common.buy 27.69 €
US-amerikanische Erzählkunst 1990-2000. Franz Link / Libro Tapa blanda
common.buy 82.69 €

This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West.The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi, modal logic, and problem complexity.

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 Foundations of Computer Science
Autor Yu. V. Matiyasevich, Anil Nerode
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1994
Número de páginas 397
EAN 9783540581406
ISBN 3540581405
Código Libristo 05274393
Editores Springer, Berlin
Peso 1
Dimensiones 216 x 279 x 21

Categorías

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 > Algoritmos y estructuras de datos
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
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

Molecular pathological biology of Coronavirus infection SARS-CoV-2 Ilie Vasiliev / Libro Tapa blanda
common.buy 43.29 €
Popular
Solo Leveling, Vol. 2 Chugong / Libro Tapa blanda
common.buy 15.79 €
All about Weather: A First Weather Book for Kids Huda Harajli / Libro Tapa blanda
common.buy 5.79 €
Theatre of Nepal and the People Who Make It Carol C. Davis / Libro Tapa dura
common.buy 109.29 €
The Miracle on Garfield Avenue Kristina Stark / Libro Tapa blanda
common.buy 10.69 €
Murky, Quirky, Beserky Math Margaret M. Desjardins / Libro Tapa blanda
common.buy 15.09 €
Scenarios for Research and Assessment of Our Climate Future: Issues and Methodological Perspectives for the U.S. National Climate Assessment: NCA Repo U S Global Change Research Program / Libro Tapa blanda
common.buy 20.09 €
Felsitic Lavas of England and Wales Frank Rutley / Libro Tapa blanda
common.buy 12.89 €
Bob Cook and the German Spy PAUL GREE TOMLINSON / Libro Tapa dura
common.buy 32.79 €
Analysis of Richard H. Thaler and Cass R. Sunstein's Nudge Mark Egan / Libro Tapa blanda
common.buy 11.19 €
Internet Revolution in the Sciences and Humanities Alan G. Gross / Libro Tapa blanda
common.buy 47.59 €
Tales of a Wayside Inn Henry Wadsworth Longfellow / Libro Tapa blanda
common.buy 7.99 €
Africana Islamic Studies Abul Pitre / Libro Tapa blanda
common.buy 68.39 €
Attachment Style and Perceived Quality of Romantic Partner's Opposite-sex Best Friendship Kelly Burton / Libro Tapa dura
common.buy 92.69 €
Philosophy of Isaiah Berlin Johnny Lyons / Libro Tapa blanda
common.buy 33.79 €
Económico
In the footsteps of the Snow Leopard Tim Easton / Libro Tapa blanda
common.buy 13.49 €
DevOps with Kubernetes Saito Hideto Saito / Libro electrónico Adobe ePub DRM
common.buy 53.89 €
Deadly Dinner - Killing Woodstock (English Edition) / Juego/Juguete Juego
common.buy 40.69 €
Popular
The Ragpicker King Cassandra Clare / Libro Tapa blanda
common.buy 16.59 €
Glacier of the Alps & Mountaineering in 1861 John Tyndall / Libro Tapa blanda
common.buy 17.19 €
Linguistics For Dummies Rose-Marie Dechaine / Libro Tapa blanda
common.buy 16.49 €
Best Writing on Mathematics 2013 Pitici / Libro Tapa blanda
common.buy 32.79 €
Pausanias's Description of Greece James George Frazer / Libro Tapa blanda
common.buy 79.59 €
Popular
Attachment John Bowlby / Libro Tapa blanda
common.buy 19.49 €

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?