Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Computer Science Logic

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Computer Science Logic Leszek Pacholski
Koda Libristo: 05274472
Založba Springer, Berlin, november 1994
This volume contains revised refereed versions of the best papers presented during the CSL '94 confe... Celoten opis
? points 236 b
96.82 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Est-Ce La Guerre ? (Prose Et Vers) Merlaud-P / Knjiga Mehka
common.buy 11.25 €
Irish Rover Susanne Rapp / Knjiga Mehka
common.buy 12.26 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Computer Science Logic
Avtor Leszek Pacholski, Jerzy Tiuryn
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1995
Število strani 553
EAN 9783540600176
ISBN 3540600175
Koda Libristo 05274472
Založba Springer, Berlin
Teža 752
Mere 155 x 233 x 29

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Acting under Uncertainty George M. Von Furstenberg / Knjiga Trda
common.buy 193.36 €
Democracy in an Age of Globalisation Otfried Höffe / Knjiga Trda
common.buy 145.09 €
Product Focused Software Process Improvement Frank Bomarius / Knjiga Mehka
common.buy 48.56 €
Plant-Provided Food for Carnivorous Insects F. L. WäckersP. C. J. van RijnJ. Bruin / Knjiga Trda
common.buy 169.63 €
Integrated Bank Analysis and Valuation Chen Sandy / Knjiga Trda
common.buy 82.24 €
Transcendental Numbers M. Ram Murty / Knjiga Mehka
common.buy 70.98 €
Critical Theory After the Rise of the Global South Boike Rehbein / Knjiga Trda
common.buy 232.17 €
Effective Practice in Spatial Planning Janice Morphet / Knjiga Mehka
common.buy 74.40 €
Logolounge Master Library, Volume 3 Catharine Fishel / Knjiga Mehka
common.buy 29.35 €
Kmalu
Queen of Love Sabine Baring-Gould / Knjiga Mehka
common.buy 6.22 €
I Get By With A Little Help... Bill Rogers / Knjiga Mehka
common.buy 31.36 €
Complete Vegetarian Book Box NicolaGraimes Bamforth / Knjiga Trda
common.buy 14.77 €
Leadership Perspectives Kim Turnbull James / Knjiga Trda
common.buy 118.74 €
Complete Poems of Emily Jane Bronte Emily Bronte / Knjiga Trda
common.buy 152.43 €
Remodelling Hospitals and Health Professions in Europe Mike Dent / Knjiga Trda
common.buy 109.90 €
Catherine Breillat Douglas Keesey / Knjiga Mehka
common.buy 28.95 €
Cash Flow Forecasting Andrew Fight / Knjiga Mehka
common.buy 47.05 €
Evolution of HIV Keith A. Crandall / Knjiga Mehka
common.buy 47.25 €
Honorable Treachery G.J.A. O'Toole / Knjiga Mehka
common.buy 21.61 €
Top
Japanese Discovery of Europe, 1720-1830 Donald Keene / Knjiga Mehka
common.buy 32.47 €
Lessons from Deregulation Alfred E. Kahn / Knjiga Mehka
common.buy 26.23 €
Birth Control Clinic in a Marketplace World Rose Holz / Knjiga Mehka
common.buy 32.47 €
Criticism Of The Earth: On Marx, Engels And Theology Roland Boer / Knjiga Mehka
common.buy 37.70 €
Environment and Agriculture in a Developing Econ - Problems and Prospects for Bangladesh Mohammad Alauddin / Knjiga Trda
common.buy 142.68 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?