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

Computational Logic and Proof Theory

Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Computational Logic and Proof Theory Georg Gottlob
Código Libristo: 05274334
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 1993
The Third Kurt G del Symposium, KGC'93, held in Brno, Czech§Republic, August1993, is the third in a... Descripción completa
? points 148 b
60.39 €
Almacenamiento externo en pequeñas cantidades Envío en 11-15 días

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

Clientes que también han comprado

Paracuellos CARLOS GIMENEZ / Libro Tapa dura
common.buy 34.95 €
Qal‘at Sem‘an, volume IV : rapport final, fascicule 3 : les objets métalliques Michel / Libro Tapa dura
common.buy 26.59 €
Las tres puertas Raquel Ortega / Libro Tapa blanda
common.buy 35.89 €
La régression PLS - théorie et pratique Tenenhaus / Libro Tapa blanda
common.buy 76.19 €
USAGES ET IMAGES DE L ARGENT. DANS L OUEST ATLANTIQUE AUX TEMPS MODERNES LE PAGE / Libro Tapa blanda
common.buy 25.39 €
Rakkauden oppi Jorma Etto / Libro electrónico Adobe ePub DRM
common.buy 9.79 €
Theatre Complet Emile Augier / Libro Tapa blanda
common.buy 28.79 €
Lighting Martinez Alonso / Libro Tapa dura
common.buy 12.29 €
Reset Eypio / Audio CD de audio
common.buy 12.09 €
Der kleine Maulwurf Spielzeugkoffer Pappkoffer gelb medium, Kinderkoffer Trötsch Verlag / Juego/Juguete Juguete
common.buy 11.49 €
Der Heptameron: Die Erzählungen der Königin von Navarra Margarete Von Navarra / Libro Tapa blanda
common.buy 19.99 €
Koniasz Tom 3 Wilk samotnik Zamboch Miroslav / Libro Tapa blanda
common.buy 14.19 €
Noragami. Bd.11 Adachitoka / Libro Tapa blanda
common.buy 9.49 €
Liebesgeschichten neu erzählen Pat Hudson / Libro Tapa blanda
common.buy 23.09 €
WAS IST WAS Hörspiel: Welt der Piraten / Schiffe, 1 Audio-CD Matthias Falk / Audio CD de audio
common.buy 9.99 €
Sponsoring des Golfsports in Deutschland Daniel Gronen / Libro Tapa blanda
common.buy 131.59 €

The Third Kurt G del Symposium, KGC'93, held in Brno, Czech§Republic, August1993, is the third in a series of biennial§symposia on logic, theoretical computer science, and§philosophy of mathematics. The aim of this meeting wasto§bring together researchers working in the fields of§computational logic and proof theory. While proof theory§traditionally is a discipline of mathematical logic, the§central activity in computational logic can be foundin§computer science. In both disciplines methods were invented§which arecrucial to one another. This volume contains the§proceedings of the symposium. It contains contributions by§36 authors from 10 different countries. In addition to 10§invited papers there are 26 contributed papers selected from§over 50 submissions.

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 Computational Logic and Proof Theory
Autor Georg Gottlob, Alexander Leitsch, Daniele Mundici
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1993
Número de páginas 354
EAN 9783540571841
ISBN 3540571841
Código Libristo 05274334
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1160
Dimensiones 216 x 279 x 20

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
Matemáticas y ciencias > Matemáticas > Filosofía de las matemáticas
Matemáticas y ciencias > Ciencia: cuestiones generales > Filosofía de la ciencia
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 > Programación informática/desarrollo de software
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

Demography Through Problems Nathan Keyfitz / Libro Tapa dura
common.buy 60.39 €
Mirror Mirror Eric J. Burton / Libro Tapa blanda
common.buy 6.59 €
Crystal Growth Technology T. Ohachi / Libro Tapa dura
common.buy 318.39 €
Peer-to-Peer Systems II M. Frans Kaashoek / Libro Tapa blanda
common.buy 60.39 €
Pay: God Light Marcia Batiste / Libro Tapa blanda
common.buy 6.49 €
Beside the Muezzin's Call & Beyond the Harem's Veil Saba Syed Razvi / Libro Tapa blanda
common.buy 16.09 €
Collection of Antique Asian Puppetry Rick Jordan / Libro Tapa blanda
common.buy 91.49 €
Resistance Band Workouts; A Quick and Convenient Solution to Getting Fit, Improving Strength, and Building Muscle While at Home or Traveling Colin Johnson / Libro Tapa blanda
common.buy 16.49 €
Interagency Fratricide - Policy Failures in the Persian Gulf and Bosnia Maj Vicki J Rast / Libro Tapa blanda
common.buy 18.19 €
Two Cures for Love Wendy Cope / Libro electrónico Adobe ePub DRM
common.buy 9.39 €
Imagining India as a Global Power Sangit K. Ragi / Libro Tapa dura
common.buy 242.59 €
Revolutionary Yiddishland Alain Brossat / Libro Tapa blanda
common.buy 16.49 €
Landscapes and Landforms of the Lesser Antilles Casey D. Allen / Libro Tapa dura
common.buy 204.99 €
Research Methods for the Architectural Profession Aksamija / Libro Tapa blanda
common.buy 46.09 €
Phase Transformation and Properties Xun Cai / Libro Tapa blanda
common.buy 75.99 €
Methyl Chloroform and Trichloroethylene in the Environment AVIADO / Libro Tapa dura
common.buy 235.99 €
Popular
The Laws of Human Nature Robert Greene / Libro Tapa blanda
common.buy 21.29 €
Present State of All Nations. Containing a Geographical, Natural, Commercial, and Political History of All the Countries in the Known World. ... of 8; Anonymous / Libro Tapa dura
common.buy 40.69 €
Psychology of Great Teaching Casper Hulshof / Libro Tapa blanda
common.buy 42.19 €
Anthroposophy: An Introduction: Supplemental Materials Frederick Amrine / Libro Tapa blanda
common.buy 10.69 €
Red Mars Kim Stanley Robinson / Libro Tapa blanda
common.buy 16.79 €
Stress Management Monique Joiner Siedlak / Libro Tapa blanda
common.buy 10.69 €
Rose and Witch and Other Stories Mimei Ogawa / Libro Tapa blanda
common.buy 21.99 €
Japan's Aging Peace Tom Phuong Le / Libro Tapa blanda
common.buy 48.19 €

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?