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

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Computer Science Logic Zoltán Ésik
Kod Libristo: 01564793
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, wrzesień 2006
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc... Cały opis
? points 249 b
435.98 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Mapa Oceanía físico edigol ediciones / Książka Miękka
common.buy 67.14 zł
morte di Cicerone (libro CXX). Testo latino a fronte Tito Livio / Książka Miękka
common.buy 62.23 zł
Rol' lekarstwennyh traw w farmacewtike Ali Khan / Książka Miękka
common.buy 75.56 zł
Microsoft Office 365 Karel Klatovský / Książka Miękka
common.buy 43.89 zł
Insolvenzrecht Michael App / Książka Miękka
common.buy 219.39 zł
Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo / Wideo Blu-ray
common.buy 155.84 zł
Gangland Chuck Hogan / Książka Miękka
common.buy 127.18 zł
Aprende a tocar la batería Peter Gelling / Książka Miękka
common.buy 141.01 zł
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Książka Miękka
common.buy 92.40 zł
Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez / Książka Miękka
common.buy 288.14 zł
Un árbol caído Rafael Reig / Książka Miękka
common.buy 47.60 zł
El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS / Książka Miękka
common.buy 64.04 zł
La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa / Książka Miękka
common.buy 218.29 zł
Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius / Książka Miękka
common.buy 132.29 zł
Conjuguez sans faute / Książka Miękka
common.buy 28.35 zł
TOP
Tajomstvo úspechu troch majstrov Napoleon Hill / Książka Twarda
common.buy 64.54 zł

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.

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 Zoltán Ésik
Język Angielski
Oprawa Książka - Miękka
Data wydania 2006
Liczba stron 627
EAN 9783540454588
ISBN 3540454586
Kod Libristo 01564793
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 961
Wymiary 155 x 235 x 35

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) > 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
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
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ć

For Sinners Only A J Russell / Książka Miękka
common.buy 70.15 zł
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Książka Miękka
common.buy 70.15 zł
Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan / Książka Miękka
common.buy 81.88 zł
Chauffeur and the Chaperon C. N. WILLIAMSON / Książka Twarda
common.buy 153.94 zł
Mecca F. E. Peters / Książka Miękka
common.buy 336.95 zł
The Law of Executors and Administrators. Samuel Toller / Książka Miękka
common.buy 133.79 zł
Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market / Książka Twarda
common.buy 129.08 zł
Craven Street Yuri Rasovsky / Audiobook MP3
common.buy 51.11 zł
Mastering Bread Marc Vetri / E-book Adobe ePub DRM
common.buy 68.55 zł
Islam Lovat / Książka Miękka
common.buy 122.27 zł
International Who's Who in Classical Music 2010 Europa Publications / Książka Twarda
common.buy 1 661.26 zł
Liber Costumarum Christopher Markham / Książka Miękka
common.buy 72.45 zł
Play or Pay. a Novelette. Hawley Smart / Książka Miękka
common.buy 91.00 zł
An Appendix To The History Of Scotland Containing: A Detection Of The Actions Of Mary Queen Of Scots, Concerning The Murder Of Her Husband And Her Mar George Buchanan / Książka Twarda
common.buy 201.15 zł
Chora 5 Alberto Perez-Gomez / Książka Miękka
common.buy 183.51 zł
Questions about God Steven M. Cahn / Książka Twarda
common.buy 396.29 zł
Deleuze's Cinema Books David Deamer / Książka Twarda
common.buy 502.23 zł
Logic Programming with Prolog Beverley Ford / Książka Miękka
common.buy 225.80 zł
Cosmic B1+ Test Book Katerina Mestheneou / Książka Miękka
common.buy 114.75 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