Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274472
Price: 435.98 PLN
Availability: InStock
Author: Leszek Pacholski
ISBN: 9783540600176

8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994. Selected Papers

Leszek Pacholski

Jerzy Tiuryn

Język

Angielski

Książka Miękka

Kod Libristo: 05274472

Wydawnictwo Springer, Berlin, listopad 1994

This volume contains revised refereed versions of the best papers presented during the CSL '94 confe... Cały opis

Kod Libristo: 05274472

249 b

435.98 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

El tiempo perdido RAMAS

Miękka

121.26 zł

Com'è fatto il trattore

Leporelo

51.91 zł

Jo-Jo Fibel - Allgemeine Ausgabe 2011 Heidemarie Löbler

Karta

58.72 zł

Syst?mes mucoadhésifs d'administration de médicaments Ramalingam Kothai

Miękka

312.40 zł

Ray Bradbury BOX Ray Bradbury

Książka

153.74 zł

De slag om Stalingrad Nikki Claes

Miękka

57.42 zł

Contrapontos Em Economia Dieter Rugard Siedenberg

Miękka

28.65 zł

L'Hypnotisme Explique Dans Sa Nature Et Dans Ses Actes: Mes Entretiens James-C

Miękka

69.95 zł

Torah Gematria of the Set-Apart Spirit: the Judgment of the Planet Nibiru 2nd Edition John Martin

Miękka

45.09 zł

Te quiero, Miguel. Aquiles tiene un problema IGNACIO AMESTOY EGIGUREN

Miękka

52.61 zł

Máme v ambulancii zlatú rybku Zuzana Mojzešová

Miękka

31.26 zł

Daguet Chéron

Miękka

106.93 zł

L'arriviste: Etude psychologique M Ernest Chouinard

Miękka

52.61 zł

Precis Sur Le Croup, Ses Causes, Ses Symptomes, Et Les Moyens de Le Prevenir RIVALLIE-A

Miękka

57.92 zł

KENNETH SIMPSON: A FIRST ROUND BOOK SINGER'S BOOK SIMPSON Książka

binding.

42.89 zł

Fan Tomáš Hasaj

Twarda

26.05 zł

Luis, el cazafantasmas CARMEN GIL

Twarda

47.60 zł

Los turistas Carrión

Miękka

103.02 zł

A KGB: A História e Legado da Notória Ag?ncia de Espionagem da Uni?o Soviética Charles River Editors

Miękka

44.79 zł

Čarověník Egon Wiener

Karta

43.39 zł

This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic.The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.