phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Computer Science Logic

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Science Logic Egon Börger
Libristo kod: 05274407
Nakladnici Springer, Berlin, studeni 1993
This volume contains the final versions of a collection of papers presented at the Annual Conference... Cijeli opis
? points 154 b
61.56 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Ruth Maleczech at Mabou Mines BRATER JESSICA SILSB / Meki uvez
common.buy 43.46 €
Agenda Mindenensis dioecesis Carl von Reifitz / Meki uvez
common.buy 59.33 €
NOVO
Developing Community Mental Health Services / Meki uvez
common.buy 22.74 €
PRIPREMAMO
Corporate Asset Don Easton / Meki uvez
common.buy 10.40 €
Spuk Ernst Kallmeyer / Meki uvez
common.buy 39.82 €
Noel Coward Screenplays Noel Coward / Tvrdi uvez
common.buy 145.47 €
Demonic Visions 50 Horror Tales Book 5 Rob Smales / Meki uvez
common.buy 11.51 €
Ein europäischer Jurist des 19. Jahrhunderts. Tanja Guddat / Meki uvez
common.buy 105.03 €

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.

Informacije o knjizi

Puni naziv Computer Science Logic
Autor Egon Börger, Yuri Gurevich, Karl Meinke
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1994
Broj stranica 336
EAN 9783540582779
ISBN 3540582770
Libristo kod 05274407
Nakladnici Springer, Berlin
Težina 466
Dimenzije 216 x 279 x 18

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer programming / software engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun