«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

Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 August 10, 1997

Idioma InglésInglés
Libro Tapa dura
Libro Computational Logic Ulrich Berger
Código Libristo: 01566688
Editores Springer, Berlin, noviembre 1998
Recent developments in computer science clearly show the need for a better theoretical foundation fo... Descripción completa
? points 414 b
169.09 €
Almacenamiento externo Envío en 10-13 días

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

Clientes que también han comprado

Diagnostisches Problemlösen mit Expertensystemen Frank Puppe / Libro Tapa blanda
common.buy 58.09 €
Vkládací kostka Mimi 1 plast / Juego/Juguete Juguete
common.buy 9.09 €
Tous les vélos de ma vie Powerpaola / Libro Tapa blanda
common.buy 24.19 €
Padesátka v nouzovém stavu Hana Hřebejková / Libro Tapa dura
common.buy 6.99 €
Artystki i surrealizm Chadwick Whitney / Libro Tapa dura
common.buy 21.59 €
Aesop for Children (Simplified Chinese): 05 Hanyu Pinyin Paperback B&w Aesop / Libro Tapa blanda
common.buy 32.19 €
Požehnání, ne prokletí Jane Bennettová / Libro Tapa blanda
common.buy 8.69 €
Schritte international 6 Lehrerhandbuch Petra Klimaszyk / Libro Tapa blanda
common.buy 19.89 €
Teplice plán města 1:12 000 / Artículos impresos Mapa
common.buy 3.09 €
Nietzsche für Boshafte Friedrich Nietzsche / Libro Tapa blanda
common.buy 9.49 €
Mann ist Mann Bertolt Brecht / Libro Tapa blanda
common.buy 8.49 €
Offentliches Wirtschaftsrecht - Schnell Erfasst Ludwig Gramlich / Libro Tapa blanda
common.buy 28.39 €
OEkonomische Betrachtung von Mehrwegsystemen Marcel Minke / Libro Tapa blanda
common.buy 18.89 €
Globalisierung - Entgrenzung von Politik? Holger Schorb / Libro Tapa blanda
common.buy 41.79 €
Die Neueren Ergebnisse Der Starkeforschung Kurt Heyns / Libro Tapa blanda
common.buy 58.09 €

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.§Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).

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
Autor Ulrich Berger, Helmut Schwichtenberg
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 1999
Número de páginas 448
EAN 9783540645894
ISBN 3540645896
Código Libristo 01566688
Editores Springer, Berlin
Peso 795
Dimensiones 156 x 234 x 25

Categorías

Computación e informática > Ciencias de la computación > Inteligencia artificial > Aprendizaje automático («Machine learning»)
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 > Programación informática/desarrollo de software > Ingeniería del software
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 > Sistemas operativos
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

Algebroid Curves in Positive Characteristics A. Campillo / Libro Tapa blanda
common.buy 28.39 €
Teacher's Manual, Volume 2 Wilhelm Vietor / Libro Tapa dura
common.buy 31.79 €
Photographer's Guide To The Digital Portrait Al Audleman / Libro Tapa blanda
common.buy 29.69 €
Works of Ben. Johnson. in Six Volumes. Adorn'd with Cuts. Volume 6 of 6 Ben Jonson / Libro Tapa blanda
common.buy 28.79 €
Digest of the Militia Laws, to the End of the Last Session of Parliament in the 19 Geo. III. with a Copious Index. by Richard Burn, LL.D. Richard Burn / Libro Tapa blanda
common.buy 23.79 €
Rivers of Ice Bill Alley / Libro Tapa blanda
common.buy 17.29 €
Teachers Teaching Teachers Geneal G. Cantrell / Libro Tapa blanda
common.buy 20.89 €
Plays of Edwin Booth, Volume 1 Edwin Booth / Libro Tapa dura
common.buy 41.59 €
Design Thinking Kristin Fontichiaro / Libro Tapa blanda
common.buy 14.69 €
New Headway: Upper-Intermediate: Student's Book Soars John and Liz / Libro Tapa blanda
common.buy 30.89 €
SAXON MATH 1 TENNESSEE Saxon Publishers / Libro Tapa dura
common.buy 54.49 €
Memorial of St. Mark's Church in the Bowery St. Mark´S Church In The Bowery / Libro Tapa blanda
common.buy 21.79 €
Education in the United States Richard Gause Boone / Libro Tapa blanda
common.buy 30.59 €
Municipal Documents of the City of Beverly, Massachusetts: Containing the Annual Reports ... the Address of the Mayor, and the Organization of the Cit Beverly (Mass ) / Libro Tapa blanda
common.buy 29.49 €
Next to a Hard Place: The Book of Passage Volume 2 Sean M Wilson / Libro Tapa blanda
common.buy 13.59 €
Advent for Everyone: A Journey with the Apostles: A Daily Devotional N. T. Wright / Libro Tapa blanda
common.buy 14.99 €
Software Engineering Project Management Knowledge Areas: Volume 12: The Engieering of Software Projects Richard Hall Thayer / Libro Tapa blanda
common.buy 29.49 €
Calcium and Magnesium in Groundwater Lidia Razowska-Jaworek / Libro Tapa blanda
common.buy 103.49 €
Group Extensions, Representations, and the Schur Multiplicator F. R. Beyl / Libro Tapa blanda
common.buy 56.59 €
Guide to Not Going to University, The Andrew Shanahan / Libro Tapa blanda
common.buy 31.99 €
Reversing the Lens Jun Xing / Libro Tapa blanda
common.buy 25.89 €
Lohnanspruche Deutscher Arbeitsloser B. Christensen / Libro Libro
common.buy 114.39 €
International Primary Science Workbook 1 Jonathan Miller / Libro Tapa blanda
common.buy 6.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?