Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274271
Price: 54.47 EUR
Availability: InStock
Author: Egon Börger
ISBN: 9783540557890

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

Език

Английски език

Книга С меки корици

Код Либристо: 05274271

Издателство Springer, Berlin, ноември 1991

This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the Uni... Цялото описание

Код Либристо: 05274271

132 b

54.47 €

106.54 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Aquí qui mana? ANDRE RODRIGUES

С твърди корици

18.69 € 36.55 лв

David Gilmour: Luck And Strange David Gilmour

Digital

25.58 € 50.02 лв

I care - PflegeExamen KOMPAKT

С меки корици

49.97 € 97.73 лв

El Sermón del Padre Guarnus JOSE R. ANTON DEL LLANO

Аудио компактдиск

10.66 € 20.85 лв

Mężczyzna w czerwonym płaszczu Julian Barnes

С твърди корици

12.42 € 24.30 лв

Velká knížka NA statku pro malé vypravěče Max Walther

Дипляна

9.52 € 18.63 лв

Noah`s Wunsch nach Zeit und Liebe Stefanie Thomas

С меки корици

12.48 € 24.40 лв

Doppelter Mokka Sigrid Hauff

С твърди корици

23.71 € 46.38 лв

Christoph Weidlichs zuverlassige Nachrichten von den jetztlebenden Rechtsgelehrten Christoph Weidlich

С меки корици

29.36 € 57.42 лв

Taranathas Geschichte des Buddhismus in Indien Anton Schiefner

С меки корици

25.63 € 50.13 лв

Anáfora Bernal Llorente

С меки корици

25.16 € 49.21 лв

Desertor, el Patxi Larraínzar

С меки корици

19.31 € 37.77 лв

Indignación Juan Manuel Villalba Hinojosa

С меки корици

10.71 € 20.96 лв

Yatalak Kralice Ülkü Ayvaz

С меки корици

13.87 € 27.13 лв

Die Frau von gestern Claudia Di Iorio Meier

С меки корици

13.51 € 26.42 лв

Cappuccetto Rosso, m. Audio-CD

С меки корици

15.69 € 30.68 лв

AMAZING SOLOS TRUMPET OR CORNET Howard Harrison

С меки корици

30.24 € 59.14 лв

Ricos Werkstatt. Bd.1 Walter Noona

Ноти

18.28 € 35.74 лв

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.