Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Computational Logic

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

Limba englezăengleză
Carte Copertă tare
Carte Computational Logic Ulrich Berger
Codul Libristo: 01566688
Editura Springer, Berlin, noiembrie 1998
Recent developments in computer science clearly show the need for a better theoretical foundation fo... Descrierea completă
? points 394 b
854.78 lei
În depozitul extern Expediem în 10-13 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Diagnostisches Problemlösen mit Expertensystemen Frank Puppe / Carte Carte broșată
common.buy 293.78 lei
Vkládací kostka Mimi 1 plast / Joc / Jucărie Jucărie
common.buy 44.92 lei
Tous les vélos de ma vie Powerpaola / Carte Carte broșată
common.buy 126.55 lei
Padesátka v nouzovém stavu Hana Hřebejková / Carte Copertă tare
common.buy 36.27 lei
Artystki i surrealizm Chadwick Whitney / Carte Copertă tare
common.buy 105.50 lei
Aesop for Children (Simplified Chinese): 05 Hanyu Pinyin Paperback B&w Aesop / Carte Carte broșată
common.buy 171.07 lei
Požehnání, ne prokletí Jane Bennettová / Carte Carte broșată
common.buy 42.94 lei
Schritte international 6 Lehrerhandbuch Petra Klimaszyk / Carte Carte broșată
common.buy 103.31 lei
Teplice plán města 1:12 000 / Materiale tipărite Hartă
common.buy 15.42 lei
Nietzsche für Boshafte Friedrich Nietzsche / Carte Carte broșată
common.buy 47.11 lei
Mann ist Mann Bertolt Brecht / Carte Carte broșată
common.buy 43.15 lei
Offentliches Wirtschaftsrecht - Schnell Erfasst Ludwig Gramlich / Carte Carte broșată
common.buy 150.85 lei
OEkonomische Betrachtung von Mehrwegsystemen Marcel Minke / Carte Carte broșată
common.buy 95.07 lei
Globalisierung - Entgrenzung von Politik? Holger Schorb / Carte Carte broșată
common.buy 208.40 lei
Die Neueren Ergebnisse Der Starkeforschung Kurt Heyns / Carte Carte broșată
common.buy 293.78 lei

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

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Computational Logic
Autor Ulrich Berger, Helmut Schwichtenberg
Limba engleză
Legare Carte - Copertă tare
Data publicării 1999
Număr pagini 448
EAN 9783540645894
ISBN 3540645896
Codul Libristo 01566688
Editura Springer, Berlin
Greutatea 795
Dimensiuni 156 x 234 x 25

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Algebroid Curves in Positive Characteristics A. Campillo / Carte Carte broșată
common.buy 143.76 lei
Teacher's Manual, Volume 2 Wilhelm Vietor / Carte Copertă tare
common.buy 169.09 lei
Photographer's Guide To The Digital Portrait Al Audleman / Carte Carte broșată
common.buy 150.01 lei
Works of Ben. Johnson. in Six Volumes. Adorn'd with Cuts. Volume 6 of 6 Ben Jonson / Carte Carte broșată
common.buy 152.83 lei
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 / Carte Carte broșată
common.buy 126.35 lei
Rivers of Ice Bill Alley / Carte Carte broșată
common.buy 92.05 lei
Teachers Teaching Teachers Geneal G. Cantrell / Carte Carte broșată
common.buy 105.50 lei
Plays of Edwin Booth, Volume 1 Edwin Booth / Carte Copertă tare
common.buy 221.01 lei
Design Thinking Kristin Fontichiaro / Carte Carte broșată
common.buy 74.43 lei
New Headway: Upper-Intermediate: Student's Book Soars John and Liz / Carte Carte broșată
common.buy 154.39 lei
SAXON MATH 1 TENNESSEE Saxon Publishers / Carte Copertă tare
common.buy 289.40 lei
Memorial of St. Mark's Church in the Bowery St. Mark´S Church In The Bowery / Carte Carte broșată
common.buy 109.67 lei
Education in the United States Richard Gause Boone / Carte Carte broșată
common.buy 153.87 lei
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 ) / Carte Carte broșată
common.buy 157.00 lei
Next to a Hard Place: The Book of Passage Volume 2 Sean M Wilson / Carte Carte broșată
common.buy 72.03 lei
Advent for Everyone: A Journey with the Apostles: A Daily Devotional N. T. Wright / Carte Carte broșată
common.buy 79.85 lei
Software Engineering Project Management Knowledge Areas: Volume 12: The Engieering of Software Projects Richard Hall Thayer / Carte Carte broșată
common.buy 156.48 lei
Calcium and Magnesium in Groundwater Lidia Razowska-Jaworek / Carte Carte broșată
common.buy 539.72 lei
Group Extensions, Representations, and the Schur Multiplicator F. R. Beyl / Carte Carte broșată
common.buy 285.96 lei
Guide to Not Going to University, The Andrew Shanahan / Carte Carte broșată
common.buy 166.90 lei
Reversing the Lens Jun Xing / Carte Carte broșată
common.buy 131.14 lei
Lohnanspruche Deutscher Arbeitsloser B. Christensen / Carte Carte
common.buy 542.53 lei
International Primary Science Workbook 1 Jonathan Miller / Carte Carte broșată
common.buy 34.71 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo