LIBRISTO
LIBROAMANTO
obvezno
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

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Computer Science Logic

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

Knjiga Computer Science Logic Egon Börger
Koda Libristo: 05274407
Založba Springer, Berlin, november 1993
This volume contains the final versions of a collection of papers presented at the Annual Conference... Celoten opis
? points 125 b
51.65
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo


Drugi so kupili tudi


Holzhaus am Wasser (Puzzle) Pia Thauwald / Igra/Igrača Igra
common.buy 27.18
Top
Kabala Pro Zacatecniky Michael Laitman / Knjiga Mehka
common.buy 18.29
One Piece 109 Eiichiro Oda / Knjiga Mehka
common.buy 6.66
Tiamatin hněv James S. A. Corey / Knjiga Mehka
common.buy 14.04
Le journal de ma vie Kate Clayborn / Knjiga Mehka
common.buy 22.84
Pixel Art Memo / Igra/Igrača Igra
common.buy 13.44
Harakiri - The Masters of Cinema Series Masaki Kobayashi / Film Blu-ray
common.buy 14.24
Die Frau des Arztes Brian Moore / Knjiga Mehka
common.buy 10.91
Programació lineal / Knjiga Mehka
common.buy 14.85
Agenda Mindenensis dioecesis Carl von Reifitz / Knjiga Mehka
common.buy 53.06
Mit K, 1 Audio-CD Kraftklub / Zvok Zvočni CD
common.buy 16.97
Spuk Ernst Kallmeyer / Knjiga Mehka
common.buy 22.33

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.
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


Making Your Own Days Kenneth Koch / Knjiga Mehka
common.buy 12.73
Norwegian Books Lingvora Books / Knjiga Mehka
common.buy 18.29
Top
Clementine, Book 1 Robert Kirkman / Knjiga Mehka
common.buy 11.31
Essential Epicurus Epicurus / Knjiga Mehka
common.buy 11.72
In Exile and Other Stories Mary Hallock Foote / Knjiga Mehka
common.buy 16.17
Lonely Planet San Francisco Lonely Planet / Knjiga Mehka
common.buy 24.96
English for International Journalists Mike Gandon / Knjiga Mehka
common.buy 60.95
Manners & Customs of the Modern Egyptians Edward W Lane / Knjiga Mehka
common.buy 25.57
Noel Coward Screenplays Noel Coward / Knjiga Trda
common.buy 137.78
Corporate Asset Don Easton / Knjiga Mehka
common.buy 9.29
Defiant M. Quint / Knjiga Trda
common.buy 16.67

Prijava

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

 
obvezno
obvezno

Š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?