Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Computational Logic

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

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Computational Logic Ulrich Berger
Libristo-code: 01566688
Uitgeverij Springer, Berlin, november 1998
Recent developments in computer science clearly show the need for a better theoretical foundation fo... Volledige beschrijving
? points 373 b
154.55 €
In extern magazijn Wordt binnen 10-13 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Diagnostisches Problemlösen mit Expertensystemen Frank Puppe / Boek Gebonden (paperback)
common.buy 53.16 €
Vkládací kostka Mimi 1 plast / Spel/speelgoed Speelgoed
common.buy 8.60 €
Tous les vélos de ma vie Powerpaola / Boek Gebonden (paperback)
common.buy 24.10 €
Padesátka v nouzovém stavu Hana Hřebejková / Boek Gebonden (harde band)
common.buy 6.47 €
Artystki i surrealizm Chadwick Whitney / Boek Gebonden (harde band)
common.buy 20.15 €
Aesop for Children (Simplified Chinese): 05 Hanyu Pinyin Paperback B&w Aesop / Boek Gebonden (paperback)
common.buy 30.98 €
Požehnání, ne prokletí Jane Bennettová / Boek Gebonden (paperback)
common.buy 8.19 €
Schritte international 6 Lehrerhandbuch Petra Klimaszyk / Boek Gebonden (paperback)
common.buy 19.64 €
Teplice plán města 1:12 000 / Drukwerk Kaart
common.buy 2.93 €
Nietzsche für Boshafte Friedrich Nietzsche / Boek Gebonden (paperback)
common.buy 9.41 €
Mann ist Mann Bertolt Brecht / Boek Gebonden (paperback)
common.buy 7.89 €
Offentliches Wirtschaftsrecht - Schnell Erfasst Ludwig Gramlich / Boek Gebonden (paperback)
common.buy 27.54 €
OEkonomische Betrachtung von Mehrwegsystemen Marcel Minke / Boek Gebonden (paperback)
common.buy 17.11 €
Globalisierung - Entgrenzung von Politik? Holger Schorb / Boek Gebonden (paperback)
common.buy 41.62 €
Die Neueren Ergebnisse Der Starkeforschung Kurt Heyns / Boek Gebonden (paperback)
common.buy 53.16 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Computational Logic
Auteur Ulrich Berger, Helmut Schwichtenberg
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 1999
Aantal pagina's 448
EAN 9783540645894
ISBN 3540645896
Libristo-code 01566688
Uitgeverij Springer, Berlin
Gewicht 795
Afmetingen 156 x 234 x 25

Categorieën

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Machinaal leren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Algebroid Curves in Positive Characteristics A. Campillo / Boek Gebonden (paperback)
common.buy 26.02 €
Teacher's Manual, Volume 2 Wilhelm Vietor / Boek Gebonden (harde band)
common.buy 30.78 €
Photographer's Guide To The Digital Portrait Al Audleman / Boek Gebonden (paperback)
common.buy 27.13 €
Works of Ben. Johnson. in Six Volumes. Adorn'd with Cuts. Volume 6 of 6 Ben Jonson / Boek Gebonden (paperback)
common.buy 27.34 €
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 / Boek Gebonden (paperback)
common.buy 22.98 €
Rivers of Ice Bill Alley / Boek Gebonden (paperback)
common.buy 16.50 €
Teachers Teaching Teachers Geneal G. Cantrell / Boek Gebonden (paperback)
common.buy 19.13 €
Plays of Edwin Booth, Volume 1 Edwin Booth / Boek Gebonden (harde band)
common.buy 40.20 €
Design Thinking Kristin Fontichiaro / Boek Gebonden (paperback)
common.buy 13.46 €
New Headway: Upper-Intermediate: Student's Book Soars John and Liz / Boek Gebonden (paperback)
common.buy 29.46 €
SAXON MATH 1 TENNESSEE Saxon Publishers / Boek Gebonden (harde band)
common.buy 52.45 €
Memorial of St. Mark's Church in the Bowery St. Mark´S Church In The Bowery / Boek Gebonden (paperback)
common.buy 19.74 €
Education in the United States Richard Gause Boone / Boek Gebonden (paperback)
common.buy 27.74 €
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 ) / Boek Gebonden (paperback)
common.buy 28.15 €
Next to a Hard Place: The Book of Passage Volume 2 Sean M Wilson / Boek Gebonden (paperback)
common.buy 13.06 €
Advent for Everyone: A Journey with the Apostles: A Daily Devotional N. T. Wright / Boek Gebonden (paperback)
common.buy 14.27 €
Software Engineering Project Management Knowledge Areas: Volume 12: The Engieering of Software Projects Richard Hall Thayer / Boek Gebonden (paperback)
common.buy 28.35 €
Calcium and Magnesium in Groundwater Lidia Razowska-Jaworek / Boek Gebonden (paperback)
common.buy 102.89 €
Group Extensions, Representations, and the Schur Multiplicator F. R. Beyl / Boek Gebonden (paperback)
common.buy 51.75 €
Guide to Not Going to University, The Andrew Shanahan / Boek Gebonden (paperback)
common.buy 31.79 €
Reversing the Lens Jun Xing / Boek Gebonden (paperback)
common.buy 23.79 €
Lohnanspruche Deutscher Arbeitsloser B. Christensen / Boek Boek
common.buy 108.57 €
International Primary Science Workbook 1 Jonathan Miller / Boek Gebonden (paperback)
common.buy 6.17 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?