phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł DPD 25.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

Computer Science Logic

Język AngielskiAngielski
Książka Miękka
Książka Computer Science Logic Hans Kleine Buening
Kod Libristo: 05274587
Wydawnictwo Springer, Berlin, listopad 1995
This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference... Cały opis
? points 154 b
261.85 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni
Polska common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Asphalt Tribe Morton Rhue / Miękka
common.buy 34.32 zł
Bibi Blocksberg, Die kleine Spürnase, 1 Audio-CD Klaus-P. Weigand / CD Audio
common.buy 42.20 zł
Botanical Medicine in Clinical Practice / Twarda
common.buy 1 465.29 zł
Zapowiedź
Augustine Gillian Clark / Twarda
common.buy 559.55 zł
Chicana and Chicano Art Carlos Francisco Jackson / Miękka
common.buy 125.53 zł
Being Modern in Iran Fariba Adelkhah / Twarda
common.buy 177.93 zł
Handbook of Colorectal Surgery David Beck / Twarda
common.buy 504.96 zł
Die Bestellung des Geschäftsführers im Gesellschaftsvertrag der GmbH als materieller Satzungsbestandteil. Karl-Dieter Müller / Miękka
common.buy 283.51 zł
besten und verrucktesten Kneipen-Namen Dieter Auer / Miękka
common.buy 75.34 zł
1,000,000 Pfundnote Und Andere Humoristische Erzahlungen Und Skizzen Mark Twain / Miękka
common.buy 105.77 zł
Der Draufgänger, 1 DVD Willy Zeunert / DVD
common.buy 81.92 zł
Conversations with Erskine Caldwell Edwin T. Arnold / Miękka
common.buy 161.76 zł

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.

Informacje o książce

Pełna nazwa Computer Science Logic
Autor Hans Kleine Buening
Język Angielski
Oprawa Książka - Miękka
Data wydania 1996
Liczba stron 492
EAN 9783540613770
ISBN 3540613773
Kod Libristo 05274587
Wydawnictwo Springer, Berlin
Waga 659
Wymiary 156 x 234 x 25

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
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) > Analiza systemowa i projektowanie
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

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