Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Computational Logic Ulrich Berger

Computational Logic

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

Szerző: Ulrich Berger, Helmut Schwichtenberg
Nyelv: Angol
Kötés: Kemény kötésű
Kiadó: Springer, Berlin
Elérhetőség: Beszállítói készleten
Küldés 10-13 napon belül
57 690 Ft
Recent developments in computer science clearly show the need for a better theoretical foundation fo...

Információk a könyvről

Szerző
Ulrich Berger, Helmut Schwichtenberg
Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
1999
oldal
448
EAN
9783540645894
ISBN
3540645896
Enbook ID
01566688
Kiadó
Springer, Berlin
Súly
795
Méretek
156 x 234 x 25

Teljes leírás

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

Érdekelheti

Algebroid Curves in Positive Characteristics

A. Campillo
9 697 Ft

Teacher's Manual, Volume 2

Wilhelm Vietor
11 374 Ft

Photographer's Guide To The Digital Portrait

Al Audleman
10 137 Ft

Works of Ben. Johnson. in Six Volumes. Adorn'd with Cuts. Volume 6 of 6

Ben Jonson
10 365 Ft

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
8 500 Ft

Rivers of Ice

Bill Alley
6 241 Ft

Teachers Teaching Teachers

Geneal G. Cantrell
7 124 Ft

Plays of Edwin Booth, Volume 1

Edwin Booth
14 884 Ft

Design Thinking

Kristin Fontichiaro
5 035 Ft

New Headway: Upper-Intermediate: Student's Book

Soars John and Liz
10 110 Ft

SAXON MATH 1 TENNESSEE

Saxon Publishers
19 507 Ft

Memorial of St. Mark's Church in the Bowery

St. Mark´S Church In The Bowery
7 420 Ft

Education in the United States

Richard Gause Boone
10 406 Ft

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 )
10 634 Ft

Next to a Hard Place: The Book of Passage Volume 2

Sean M Wilson
4 846 Ft

Advent for Everyone: A Journey with the Apostles: A Daily Devotional

N. T. Wright
5 416 Ft

Software Engineering Project Management Knowledge Areas: Volume 12: The Engieering of Software Projects

Richard Hall Thayer
10 549 Ft

Calcium and Magnesium in Groundwater

Lidia Razowska-Jaworek
35 341 Ft

Group Extensions, Representations, and the Schur Multiplicator

F. R. Beyl
19 305 Ft

Guide to Not Going to University, The

Andrew Shanahan
10 935 Ft

Reversing the Lens

Jun Xing
8 827 Ft

Lohnanspruche Deutscher Arbeitsloser

B. Christensen
37 305 Ft

International Primary Science Workbook 1

Jonathan Miller
2 345 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Diagnostisches Problemlösen mit Expertensystemen

Frank Puppe
19 834 Ft

Vkládací kostka Mimi 1 plast

2 941 Ft

Tous les vélos de ma vie

Powerpaola
8 289 Ft

Padesátka v nouzovém stavu

Hana Hřebejková
2 488 Ft

Artystki i surrealizm

Chadwick Whitney
6 909 Ft

Aesop for Children (Simplified Chinese): 05 Hanyu Pinyin Paperback B&w

Aesop
11 531 Ft

Požehnání, ne prokletí

Jane Bennettová
2 815 Ft

Schritte international 6 Lehrerhandbuch

Petra Klimaszyk
6 424 Ft

Teplice plán města 1:12 000

1 009 Ft

Nietzsche für Boshafte

Friedrich Nietzsche
3 071 Ft

Mann ist Mann

Bertolt Brecht
2 914 Ft

Offentliches Wirtschaftsrecht - Schnell Erfasst

Ludwig Gramlich
10 137 Ft

OEkonomische Betrachtung von Mehrwegsystemen

Marcel Minke
6 438 Ft

Globalisierung - Entgrenzung von Politik?

Holger Schorb
13 647 Ft

Die Neueren Ergebnisse Der Starkeforschung

Kurt Heyns
19 834 Ft