Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
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
0
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 Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer Science Logic

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

Język AngielskiAngielski
Książka Miękka
Książka Computer Science Logic Leszek Pacholski
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
? points 249 b
446.61 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Los turistas Carrión / Książka Miękka
common.buy 95.47 zł
TOP
Máme v ambulancii zlatú rybku Zuzana Mojzešová / Książka Miękka
common.buy 32.74 zł
Čarověník Egon Wiener / Książka Karta
common.buy 44.45 zł
KENNETH SIMPSON: A FIRST ROUND BOOK SINGER'S BOOK SIMPSON Książka binding.
common.buy 43.32 zł
Fan Tomáš Hasaj / Książka Twarda
common.buy 26.68 zł
Ray Bradbury BOX Ray Bradbury / Książka Książka
common.buy 157.49 zł
Luis, el cazafantasmas CARMEN GIL / Książka Twarda
common.buy 43.73 zł
L'Hypnotisme Explique Dans Sa Nature Et Dans Ses Actes: Mes Entretiens James-C / Książka Miękka
common.buy 60.36 zł
El tiempo perdido RAMAS / Książka Miękka
common.buy 85.51 zł
Torah Gematria of the Set-Apart Spirit: the Judgment of the Planet Nibiru 2nd Edition John Martin / Książka Miękka
common.buy 46.19 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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Computer Science Logic
Autor Leszek Pacholski, Jerzy Tiuryn
Język Angielski
Oprawa Książka - Miękka
Data wydania 1995
Liczba stron 553
EAN 9783540600176
ISBN 3540600175
Kod Libristo 05274472
Wydawnictwo Springer, Berlin
Waga 752
Wymiary 155 x 233 x 29

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Uczenie maszynowe / Systemy uczące się
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

THE ARRANDEL MOTTO MARK HARDCASTLE / Książka Twarda
common.buy 149.48 zł
Pass the Paddle Gerald Jerry E Schumm Jr / Książka Miękka
common.buy 109.54 zł
Native Tongue Suzette Haden Elgin / Książka Miękka
common.buy 72.58 zł
Wages for Housework: A History of an International Feminist Movement, 1972-77 Louise Toupin / Książka Miękka
common.buy 178.12 zł
Emily Wilding Davison Lucy Fisher / Książka Miękka
common.buy 76.48 zł
In Camp with A Tin Soldier John Kendrick Bangs / Książka Miękka
common.buy 33.15 zł
Dolphin Mystery Rosslyn Thomas / Książka Miękka
common.buy 33.36 zł
Zapowiedź
Chinese Art of Face Reading Joey Yap / Książka Miękka
common.buy 104.30 zł
A Study on HCCI Engine Suresh Govindan / Książka Miękka
common.buy 139.21 zł
Marketing In The Trenches CHRIS CIUNCI / Książka Twarda
common.buy 162.72 zł
Alphabet Job Buddies KAREN WEAVER / Książka Twarda
common.buy 81.20 zł
Oregon Question Albert Gallatin / Książka Twarda
common.buy 129.05 zł
Mining, Metallurgy and Minting in the Middle Ages. Vol. 1 Ian Blanchard / Książka Twarda
common.buy 737.47 zł
Dream Life and Real Life; a Little African Story Olive Schreiner / Książka Miękka
common.buy 55.33 zł
Nature and Us Vladimir Shekunov / Książka Miękka
common.buy 66.62 zł
The Skylark and Adonais - With Other Poems Percy Bysshe Shelley / Książka Miękka
common.buy 61.49 zł
Chinese Short Stories by Revolutionary Authors - Read Chinese Literature with Detailed Footnotes, Pinyin, Summaries, and Audio (Capturing Chinese) Kevin John Nadolny / Książka Miękka
common.buy 148.76 zł
Beyond Black Hilary Mantel / Książka Miękka
common.buy 68.47 zł
Politics of Memory Ana Lucia Araujo / Książka Miękka
common.buy 308.21 zł
Gender in Low and Middle-Income Countries Jennifer E. Lansford / Książka Miękka
common.buy 186.03 zł
Secret Sharers Anthony Fothergill / Książka Miękka
common.buy 281.92 zł
Desire Factor Christy Whitman / Książka Miękka
common.buy 57.38 zł
Engineering Review of Alternative Onsite Wastewater Treatment Mark Brooks / Książka Miękka
common.buy 83.87 zł
ADHD Body and Mind Miguel Toribio-Mateas / Książka Miękka
common.buy 108.92 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?