Zurück zur Startseite
|Eingestellt in Kategorie:
Dieser Artikel ist nicht mehr vorrätig.

Bild 1 von 1

Bild 1 von 1
Ähnlichen Artikel verkaufen?
Selbst verkaufen

Computational Logic von Ulrich Berger (englisch) Hardcover-Buch

grandeagleretail
(946293)
Angemeldet als gewerblicher Verkäufer
Mehr Artikel des Verkäufers
Verkäufer kontaktieren
US $191,48
Ca.CHF 154,33
Artikelzustand:
Neu
Versand:
Kostenlos Economy Shipping.
Standort: Fairfield, Ohio, USA
Lieferung:
Lieferung zwischen Di, 12. Aug und Di, 19. Aug nach 94104 bei heutigem Zahlungseingang
Liefertermine - wird in neuem Fenster oder Tab geöffnet berücksichtigen die Bearbeitungszeit des Verkäufers, die PLZ des Artikelstandorts und des Zielorts sowie den Annahmezeitpunkt und sind abhängig vom gewählten Versandservice und dem ZahlungseingangZahlungseingang - wird ein neuem Fenster oder Tab geöffnet. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.
Rücknahme:
30 Tage Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen.
Zahlungen:
     Diners Club

Sicher einkaufen

eBay-Käuferschutz
Geld zurück, wenn etwas mit diesem Artikel nicht stimmt. Mehr erfahreneBay-Käuferschutz - wird in neuem Fenster oder Tab geöffnet
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:395159225516
Zuletzt aktualisiert am 29. Jan. 2025 00:58:09 MEZAlle Änderungen ansehenAlle Änderungen ansehen

Artikelmerkmale

Artikelzustand
Neu: Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte ...
ISBN-13
9783540645894
Book Title
Computational Logic
ISBN
9783540645894

Über dieses Produkt

Product Identifiers

Publisher
Springer Berlin / Heidelberg
ISBN-10
3540645896
ISBN-13
9783540645894
eBay Product ID (ePID)
685155

Product Key Features

Number of Pages
IX, 448 Pages
Publication Name
Computational Logic
Language
English
Publication Year
1999
Subject
Systems Architecture / General, Hardware / General, Computer Science, Logic
Type
Textbook
Subject Area
Mathematics, Computers
Author
S. R. Buss
Series
NATO Asi Subseries F: Ser.
Format
Hardcover

Dimensions

Item Weight
63.8 Oz
Item Length
9.3 in
Item Width
6.1 in

Additional Product Features

Intended Audience
Scholarly & Professional
LCCN
99-013850
Series Volume Number
165
Number of Volumes
1 vol.
Illustrated
Yes
Table Of Content
Game Semantics.- Notes on the Simply Typed Lambda Calculus.- Problems in Type Theory.- Formal Correctness Proofs of Functional Programs: Dijkstra's Algorithm, a Case Study.- Propositional Proof Complexity - An Introduction.- Formalizing Decidability Theorems About Automata.- On the Meaning of Logical Rules I: Syntax Versus Semantics.- Complexity of Primitive Recursion.- Computers, Reasoning and Mathematical Practice.- Research Directions in Rewriting Logic.- Sequent Calculus and the Specification of Computation.
Synopsis
Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997, 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).
LC Classification Number
QA75.5-76.95

Artikelbeschreibung des Verkäufers

Info zu diesem Verkäufer

grandeagleretail

98,3% positive Bewertungen•2.8 Mio. Artikel verkauft

Mitglied seit Sep 2010
Antwortet meist innerhalb 24 Stunden
Angemeldet als gewerblicher Verkäufer
Grand Eagle Retail is your online bookstore. We offer Great books, Great prices and Great service.
Shop besuchenKontakt

Detaillierte Verkäuferbewertungen

Durchschnitt in den letzten 12 Monaten
Genaue Beschreibung
4.9
Angemessene Versandkosten
5.0
Lieferzeit
5.0
Kommunikation
4.9

Beliebte Kategorien in diesem Shop

Alle ansehenKategorien
The ArtsBiography & True StoriesChildren's & Young AdultComputing & ITEarth Sciences & GeographyFinance, Econ, Business & MgtFictionHealth & Personal DevelopmentHumanities

Verkäuferbewertungen (1'054'560)

Alle Bewertungen
Positiv
Neutral
Negativ
Alle Bewertungen ansehen

Noch mehr entdecken: