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ł.

Logical Foundations of Computer Science

3rd International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Logical Foundations of Computer Science Yu. V. Matiyasevich
Kod Libristo: 05274393
Wydawnictwo Springer, Berlin, listopad 1993
This volume presents the refereed papers accepted for the international symposium Logical Foundation... Cały opis
? points 125 b
221.79 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

La llengua catalana al segle XVIII Balsalobre / Książka Książka
common.buy 160.60 zł
A Page is Just the Beginning Dan Lin / Książka Miękka
common.buy 33.84 zł
Eine Kleine Nachtmusik/Notturno/Symphony 39 / Audio CD Audio
common.buy 77.75 zł
Le Poulpe : La belge et la bête Bruce Mayence / Książka Twarda
common.buy 57.32 zł
English 2 Repetytorium tematyczno-leksykalne Malgorzata Cieslak / Książka Miękka
common.buy 38.72 zł
Planches insolites 170 ans de trésors collegium / Książka Twarda
common.buy 138.95 zł
CD MP3 Wielkie Księstwo Groteski Szczepan Twardoch / Audiobook MP3
common.buy 32.31 zł
Storia del Nord Africa indipendente. Tra imperialismi, nazionalismi e autoritarismi Caterina Roggero / Książka Miękka
common.buy 87.10 zł
The Philosophers, 1 DVD William Yeh / Wideo DVD
common.buy 40.95 zł
Rechtliche Aspekte beim Betrieb von PKW mit national/international ortsfremden Kennzeichen Moritz Hennig / Książka Miękka
common.buy 145.86 zł
TOP
Legszebb Grimm mesék / Książka Miękka
common.buy 26.83 zł
Die Vier Grossmeister Der Aufklärungs-Theologie (Herder, Paulus, Schleiermacher, Strauss) in Ihrem Schreiben Und Treiben Verständlich Und Nach Möglich Sebastian Brunner / Książka Miękka
common.buy 135.69 zł
Dogadać się z dzieckiem Berendt Joanna / Książka Miękka
common.buy 31.91 zł
Mord ist ihre Leidenschaft J. D. Robb / Książka Miękka
common.buy 50.71 zł
Anwendung der Grundsätze zur Haftung für Links auf urheberrechtswidrige Inhalte aus EuGH GS Media (C-160/15) auf Suchmaschinen? Paul Schneider / Książka Miękka
common.buy 107.54 zł
US-amerikanische Erzählkunst 1990-2000. Franz Link / Książka Miękka
common.buy 323.24 zł

This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West.The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi, modal logic, and problem complexity.

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 Logical Foundations of Computer Science
Autor Yu. V. Matiyasevich, Anil Nerode
Język Angielski
Oprawa Książka - Miękka
Data wydania 1994
Liczba stron 397
EAN 9783540581406
ISBN 3540581405
Kod Libristo 05274393
Wydawnictwo Springer, Berlin
Waga 1
Wymiary 216 x 279 x 21

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
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ć

Molecular pathological biology of Coronavirus infection SARS-CoV-2 Ilie Vasiliev / Książka Miękka
common.buy 168.32 zł
TOP
Solo Leveling, Vol. 2 Chugong / Książka Miękka
common.buy 68.50 zł
All about Weather: A First Weather Book for Kids Huda Harajli / Książka Miękka
common.buy 23.57 zł
Theatre of Nepal and the People Who Make It Carol C. Davis / Książka Twarda
common.buy 453.35 zł
The Miracle on Garfield Avenue Kristina Stark / Książka Miękka
common.buy 44.31 zł
Murky, Quirky, Beserky Math Margaret M. Desjardins / Książka Miękka
common.buy 62.61 zł
Scenarios for Research and Assessment of Our Climate Future: Issues and Methodological Perspectives for the U.S. National Climate Assessment: NCA Repo U S Global Change Research Program / Książka Miękka
common.buy 82.84 zł
Felsitic Lavas of England and Wales Frank Rutley / Książka Miękka
common.buy 50.21 zł
Bob Cook and the German Spy PAUL GREE TOMLINSON / Książka Twarda
common.buy 135.69 zł
Analysis of Richard H. Thaler and Cass R. Sunstein's Nudge Mark Egan / Książka Miękka
common.buy 46.44 zł
Internet Revolution in the Sciences and Humanities Alan G. Gross / Książka Miękka
common.buy 175.34 zł
Tales of a Wayside Inn Henry Wadsworth Longfellow / Książka Miękka
common.buy 32.82 zł
Africana Islamic Studies Abul Pitre / Książka Miękka
common.buy 272.31 zł
Attachment Style and Perceived Quality of Romantic Partner's Opposite-sex Best Friendship Kelly Burton / Książka Twarda
common.buy 383.82 zł
Philosophy of Isaiah Berlin Johnny Lyons / Książka Miękka
common.buy 146.77 zł
Tanie
In the footsteps of the Snow Leopard Tim Easton / Książka Miękka
common.buy 58.64 zł
DevOps with Kubernetes Saito Hideto Saito / E-book Adobe ePub DRM
common.buy 218.54 zł
Deadly Dinner - Killing Woodstock (English Edition) / Gra/Zabawka Gra
common.buy 157.24 zł
TOP
The Ragpicker King Cassandra Clare / Książka Miękka
common.buy 67.79 zł
Glacier of the Alps & Mountaineering in 1861 John Tyndall / Książka Miękka
common.buy 71.14 zł
Linguistics For Dummies Rose-Marie Dechaine / Książka Miękka
common.buy 67.79 zł
Best Writing on Mathematics 2013 Pitici / Książka Miękka
common.buy 135.90 zł
Pausanias's Description of Greece James George Frazer / Książka Miękka
common.buy 293.25 zł
TOP
Attachment John Bowlby / Książka Miękka
common.buy 77.55 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?