Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

CSL '87

Name: CSL '87
Brand: Springer, Berlin
SKU: 05274081
Price: 51.53 EUR
Availability: InStock
Author: Egon Börger
ISBN: 9783540502418

1st Workshop on Computer Science Logic, CSL '93, Karlsruhe, FRG. October 12-16, 1987. Proceedings

Egon Börger

Hans Kleine Büning

Michael M. Richter

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 05274081

Uitgeverij Springer, Berlin

This volume contains the papers which were presented to the workshop "Computer-Science Logic" held i... Volledige beschrijving

Libristo-code: 05274081

125 b

51.53 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Das Mops-Jahr 2026 (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo

Kalender

30.85 €

Lexikon politischer Symbole Karlheinz Weißmann

Gebonden (harde band)

50.12 €

JUJUTSU KAISEN 24 AKUTAMI

Boek

7.25 €

PENSI I FACI'S RIC HILL

Boek

9.67 €

klattschen® - Trinkspiel - Das wahrscheinlich beste Trinkspiel aller Zeiten Ricardo Barreto

Spel

12.80 €

Der Schulgarten. Entstehung, Entwicklung und pädagogische Bedeutung Sandra Küchlin

Gebonden (paperback)

13.51 €

Angry Birds - Gefiederte Feinde (Comics) César Ferioli

Gebonden (paperback)

10.68 €

Deluxe Set - Halma

Spel

12.40 €

Das Habichtsfräulein Adolf Baumbach

Gebonden (paperback)

21.37 €

Der Firmentarifvertrag. Alexander Witt

Gebonden (paperback)

99.95 €

This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. In addition there is what sometimes is called Philosophical Logic which deals with topics like nonclassical logics and which for historical reasons has been developed mainly at philosphical departments rather than at mathematics institutions. Today Computer Science challenges Logic in a new way. The theoretical analysis of problems in Computer Science for intrinsic reasons has pointed back to Logic. A broad class of questions became visible which is of a basically logical nature. These questions are often related to some of the traditional disciplines of Logic but normally without being covered adequately by any of them. The novel and unifying aspect of this new branch of Logic is the algorithmic point of view which is based on experiences people had with computers. The aim of the "Computer-Science Logic" workshop and of this volume is to represent the richness of research activities in this field in the German-speaking countries and to point to their underlying general logical principles.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam CSL '87

Auteur Egon Börger, Hans Kleine Büning, Michael M. Richter

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Aantal pagina's 348

EAN 9783540502418

ISBN 3540502416

Libristo-code 05274081

Uitgeverij Springer, Berlin

Gewicht 576

Afmetingen 156 x 234 x 18

Categorieën

Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling

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

Child Sponsorship M. Clarke

Gebonden (paperback)

53.15 €

Psychotherapy and the Law - Questions and Answers for Counsellors and Therapists Peter Jenkins

Gebonden (paperback)

70.29 €

Tarot, Rituals, and You: The Power of Tarot Combined with the Power of Ritual Bonnie Cehovet

Gebonden (paperback)

13.30 €

A Commentary, Critical and Explanatory, On the Old and New Testaments, by R. Jamieson, A.R. Fausset and D. Brown. (Portable Comm.) Andrew Robert Fausset

Gebonden (harde band)

42.86 €