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.

Computer Science Logic

5th Workshop on Computer Science Logic, CSL '91, Berne, Switzerland Germany, September 28 - October 2, 1992. Selected Papers

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computer Science Logic Egon Börger
Libristo-code: 05274271
Uitgeverij Springer, Berlin, november 1991
This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the Uni... Volledige beschrijving
? points 125 b
51.63 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Aquí qui mana? ANDRE RODRIGUES / Boek Gebonden (harde band)
common.buy 17.88 €
David Gilmour: Luck And Strange David Gilmour / Digitaal Digitaal
common.buy 24.34 €
TOP
I care - PflegeExamen KOMPAKT / Boek Gebonden (paperback)
common.buy 47.18 €
El Sermón del Padre Guarnus JOSE R. ANTON DEL LLANO / Audio Audio cd
common.buy 10.60 €
Mężczyzna w czerwonym płaszczu Julian Barnes / Boek Gebonden (harde band)
common.buy 11.81 €
Velká knížka NA statku pro malé vypravěče Max Walther / Boek Leporello (harmonicaboek)
common.buy 8.98 €
Noah`s Wunsch nach Zeit und Liebe Stefanie Thomas / Boek Gebonden (paperback)
common.buy 11.71 €
Doppelter Mokka Sigrid Hauff / Boek Gebonden (harde band)
common.buy 22.32 €
Christoph Weidlichs zuverlassige Nachrichten von den jetztlebenden Rechtsgelehrten Christoph Weidlich / Boek Gebonden (paperback)
common.buy 27.68 €
Taranathas Geschichte des Buddhismus in Indien Anton Schiefner / Boek Gebonden (paperback)
common.buy 24.14 €
Anáfora Bernal Llorente / Boek Gebonden (paperback)
common.buy 24.04 €
Desertor, el Patxi Larraínzar / Boek Gebonden (paperback)
common.buy 18.48 €
Indignación Juan Manuel Villalba Hinojosa / Boek Gebonden (paperback)
common.buy 10.20 €
Yatalak Kralice Ülkü Ayvaz / Boek Gebonden (paperback)
common.buy 13.13 €
Die Frau von gestern Claudia Di Iorio Meier / Boek Gebonden (paperback)
common.buy 13.43 €
Cappuccetto Rosso, m. Audio-CD / Boek Gebonden (paperback)
common.buy 14.95 €
AMAZING SOLOS TRUMPET OR CORNET Howard Harrison / Boek Gebonden (paperback)
common.buy 28.89 €
Ricos Werkstatt. Bd.1 Walter Noona / Drukwerk Bladmuziek
common.buy 18.28 €

This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others.

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 Computer Science Logic
Auteur Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1992
Aantal pagina's 431
EAN 9783540557890
ISBN 354055789X
Libristo-code 05274271
Uitgeverij Springer, Berlin
Gewicht 638
Afmetingen 155 x 233 x 22

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Machinaal leren
Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Design van gebruikersinterface en gebruikersvriendelijkheid (UX)
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
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

Forests of Iran Khosro Sagheb Talebi / Boek Gebonden (harde band)
common.buy 102.86 €
TOP
Where's the Penguin Poo? Alex Hunter / Boek Gebonden (paperback)
common.buy 8.18 €
Music Street Journal 2006 Gary Hill / Boek Gebonden (paperback)
common.buy 29.80 €
Food for Health and Cure Part Two MARIE F. DUBREUIL / Boek Gebonden (paperback)
common.buy 17.37 €
Perspectives On The Security Of Singapore: The First 50 Years Barry Desker / Boek Gebonden (harde band)
common.buy 134.19 €
Conquerors Tracy Turner / Boek Gebonden (harde band)
common.buy 35.26 €
Backstage: Street Chronicles Nikki Turner / Boek Gebonden (paperback)
common.buy 17.17 €
Salinger Contract Adam Langer / Boek Gebonden (paperback)
common.buy 18.68 €
THE MILLER OF OLD CHURCH ELLEN GLASGOW / Boek Gebonden (harde band)
common.buy 50.52 €
Role of Oxygen Radicals in Cardiovascular Diseases A. L'Abbate / Boek Gebonden (paperback)
common.buy 154.20 €
Finance, Investment and Economic Fluctuations Eric Nasica / Boek Gebonden (harde band)
common.buy 156.22 €
Statistical Applications For Health Information Management Carol E. Osborn / Boek Gebonden (paperback)
common.buy 164.10 €
Ave verum corpus / Drukwerk Bladmuziek
common.buy 5.45 €
Study Guide for African Americans in the U.S. Economy James Stewart / Boek Gebonden (paperback)
common.buy 54.36 €
Governments and Marriage Education Policy Elizabeth Van Acker / Boek Gebonden (harde band)
common.buy 61.03 €
Vortex Dynamics, Statistical Mechanics, And Planetary Atmospheres Chjan C. Lim / Boek Gebonden (paperback)
common.buy 79.32 €
Stress Less Don Colbert / Boek Gebonden (harde band)
common.buy 18.58 €
Alcohol Intoxication and Withdrawal Milton Gross / Boek Gebonden (paperback)
common.buy 61.03 €

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