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 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer Science Logic

7th Workshop, CSL '93, Swansea, UK, September 13-17, 1993. Selected Papers

Język AngielskiAngielski
Książka Miękka
Książka Computer Science Logic Egon Börger
Kod Libristo: 05274407
Wydawnictwo Springer, Berlin, listopad 1993
This volume contains the final versions of a collection of papers presented at the Annual Conference... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

One Piece 109 Eiichiro Oda / Książka Miękka
common.buy 32.01 zł
Gouverner le social par le religieux Faure / Książka Miękka
common.buy 146.23 zł
Tiamatin hněv James S. A. Corey / Książka Miękka
common.buy 65.03 zł
Kabala Pro Zacatecniky Michael Laitman / Książka Miękka
common.buy 82.49 zł
Le journal de ma vie Kate Clayborn / Książka Miękka
common.buy 107.18 zł
TOP
Harakiri - The Masters of Cinema Series Masaki Kobayashi / Wideo Blu-ray
common.buy 64.13 zł
Programació lineal / Książka Miękka
common.buy 66.94 zł
Agenda Mindenensis dioecesis Carl von Reifitz / Książka Miękka
common.buy 251.41 zł
Ein europäischer Jurist des 19. Jahrhunderts. Tanja Guddat / Książka Miękka
common.buy 449.34 zł
Spuk Ernst Kallmeyer / Książka Miękka
common.buy 94.74 zł

This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.

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 Egon Börger, Yuri Gurevich, Karl Meinke
Język Angielski
Oprawa Książka - Miękka
Data wydania 1994
Liczba stron 336
EAN 9783540582779
ISBN 3540582770
Kod Libristo 05274407
Wydawnictwo Springer, Berlin
Waga 466
Wymiary 216 x 279 x 18

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) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
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ć

Beastly Armor: Military Defenses Inspired by Animals Charles C. Hofer / Książka Miękka
common.buy 34.82 zł
Essential Epicurus Epicurus / Książka Miękka
common.buy 49.57 zł
In Exile and Other Stories Mary Hallock Foote / Książka Miękka
common.buy 68.44 zł
From Ducatus to Regnum: Ruling Bavaria Under the Merovingians and Early Carolingians Carl I. Hammer / Książka Miękka
common.buy 338.13 zł
My Korean Identity and Quest for Understanding Michael Chon / Książka Miękka
common.buy 135.39 zł
Noel Coward Screenplays Noel Coward / Książka Twarda
common.buy 615.95 zł
Corporate Asset Don Easton / Książka Miękka
common.buy 42.04 zł
Defiant M. Quint / Książka Twarda
common.buy 74.76 zł
Developing Community Mental Health Services Grainne Fadden / Książka Miękka
common.buy 78.28 zł
Demonic Visions 50 Horror Tales Book 5 Rob Smales / Książka Miękka
common.buy 45.16 zł
English for International Journalists Mike Gandon / Książka Miękka
common.buy 270.48 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?