«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

Idioma InglésInglés
Libro Tapa blanda
Libro Computational Logic Ulrich Berger
Código Libristo: 02004875
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octubre 2012
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 5-8 días

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

Clientes que también han comprado

Die Biogenen Amine Markus Guggenheim / Libro Tapa blanda
common.buy 84.39 €
Theoretische Und Experimentelle Untersuchungen an Ballonmodellen Georg Fuhrmann / Libro Tapa blanda
common.buy 58.09 €
El cuaderno de Picasso FLORENTINO PAREDES GARCIA / Libro Tapa blanda
common.buy 12.29 €
Campo Santo W. G. Sebald / Libro Tapa dura
common.buy 22.79 €
Marketing Interno y la Gestion de los Recursos Humanos Tuduri Jose Ramon / Libro Tapa blanda
common.buy 38.49 €
FUGA PARA UNA ISLA -NEB PRIEST / Libro Libro
common.buy 7.99 €
Secretele Bazei Universale de Informatii a Universului Alexandru Bogdan Voda / Libro Tapa blanda
common.buy 7.39 €
Bilder Aus Sud-Tirol Und Von Den Ufern Des Gardasees Heinrich Noe / Libro Tapa blanda
common.buy 42.29 €
Pflegeoasen in Deutschland Hermann Brandenburg / Libro Tapa dura
common.buy 53.49 €
Das große SURVIVAL HANDBUCH - Überleben in Not- und Extremsituationen: Die ultimativen Überlebenstechniken der Survival- und Bushcraftexperten. Werde / Libro Tapa blanda
common.buy 15.89 €
full goodwill-Methode nach IFRS 3 (2008) Ina Klein / Libro Tapa blanda
common.buy 49.19 €
Betriebsrate Daniel Jäger / Libro Tapa blanda
common.buy 18.89 €
Die Gudrunsage Karl Heinrich Keck / Libro Tapa dura
common.buy 35.49 €

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 blanda
Fecha de publicación 2012
Número de páginas 448
EAN 9783642636707
ISBN 3642636705
Código Libristo 02004875
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 700
Dimensiones 155 x 235 x 25

Categorías

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

Topics in Acoustic Echo and Noise Control Eberhard Hänsler / Libro Tapa blanda
common.buy 191.29 €
Understanding Criminal Justice Azrini Wahidin / Libro Tapa blanda
common.buy 65.89 €
Toothpick: The Greedy Cat Lora Mela / Libro Tapa blanda
common.buy 9.99 €
Systemic Racism in the United States Robbie W. C. Tourse / Libro Tapa dura
common.buy 121.69 €
Aging with Care Amanda Lambert / Libro Tapa blanda
common.buy 34.19 €
Ocean Sailing Paul Heiney / Libro Tapa dura
common.buy 28.19 €
Sudoku Puzzle Book For Teens: Easy to Medium Sudoku Puzzles Including 330 Sudoku Puzzles with Solutions 3rd Edition, Great Gift for Teens or Tweens Quick Creative / Libro Tapa blanda
common.buy 7.99 €
The Great Gatsby: The Only Authorized Edition FITZGERALD F SCOTT / Libro Tapa blanda
common.buy 14.29 €
Curse of the Wolf King TESSONJA ODETTE / Libro Tapa dura
common.buy 27.89 €
Extreme Sudoku: A collection of 200 of the toughest Sudoku puzzles known to man. (With their solutions.) Antoine Alary / Libro Tapa blanda
common.buy 10.69 €
Popular
Book Lovers Emily Henry / Libro Tapa blanda
common.buy 9.69 €
The Unfit Brain and the Limits of Moral Bioenhancement Fabrice Jotterand / Libro Tapa blanda
common.buy 127.69 €
Travel to Colombia / Libro Tapa dura
common.buy 36.19 €
Prostate Cancer: Molecular Events and Therapeutic Modalities Gautam Sethi / Libro Tapa dura
common.buy 198.89 €
Come From Away Robert Huish / Libro Tapa dura
common.buy 157.89 €
Complete IELTS Bands 6.5–7.5 Workbook without Answers Rawdon Wyatt / Libro Tapa blanda
common.buy 43.59 €
State of the Poor Frederick Morton Eden / Libro Tapa blanda
common.buy 89.59 €
International Comparative Issues in Government Accounting Aad Bac / Libro Tapa blanda
common.buy 169.09 €
Criminality and Violence among the Mentally Disordered Sheilagh HodginsCarl-Gunnar Janson / Libro Tapa blanda
common.buy 49.79 €
History of Greek Philosophy: Volume 6, Aristotle: An Encounter W. K. C. Guthrie / Libro Tapa blanda
common.buy 113.79 €
Fields of Faith David F. FordBen QuashJanet Martin Soskice / Libro Tapa blanda
common.buy 55.89 €
Planet Treasure Guardians S V Bodle / Libro Tapa blanda
common.buy 20.09 €
Horizontal Agreements and Cartels in EU Competition Law Filip Tuytschaever / Libro Tapa dura
common.buy 456.59 €
Ivanhoe; Or, the Jew's Daughter; A Melo Dramatic Romance, in Three Acts, Etc. [Based on Sir Walter Scott's Novel of the Same Title.] Thomas Dibdin / Libro Tapa blanda
common.buy 18.89 €

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?