Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

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 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274407
Price: 48.9 EUR
Availability: InStock
Author: Egon Börger
ISBN: 9783540582779

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

Egon Börger

Yuri Gurevich

Karl Meinke

Jezik

Angleščina

Knjiga Mehka

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

Koda Libristo: 05274407

118 b

48.90 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

One Piece 109 Eiichiro Oda

Mehka

6.67 €

Gouverner le social par le religieux Faure

Mehka

31.48 €

Tiamatin hněv James S. A. Corey

Mehka

13.15 €

Kabala Pro Zacatecniky Michael Laitman

Mehka

18.32 €

Le journal de ma vie Kate Clayborn

Mehka

23.08 €

Harakiri - The Masters of Cinema Series Masaki Kobayashi

Blu-ray

14.27 €

Programació lineal

Mehka

14.88 €

Agenda Mindenensis dioecesis Carl von Reifitz

Mehka

53.15 €

Ein europäischer Jurist des 19. Jahrhunderts. Tanja Guddat

Mehka

95.58 €

Spuk Ernst Kallmeyer

Mehka

21.05 €

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.