Category Theory and Computer Science: 6th International Conference, Ctcs '95, Cambridge, United Kingdom, August 7-11, 1995 - Proceedings - Lecture Notes in Computer Science - D. E. Rydeheard - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540601647 - 1995. gada 21. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

D. E. Rydeheard
Category Theory and Computer Science: 6th International Conference, Ctcs '95, Cambridge, United Kingdom, August 7-11, 1995 - Proceedings - Lecture Notes in Computer Science 1995 edition

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 22. - 30. sept.
Saņemiet paziņojumus par jauniem D. E. Rydeheard izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

These conference proceedings document the exploitation of links between logic and category theory, leading to a solid basis of much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics.

259 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1995. gada 21. jūlijs
ISBN13 9783540601647
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 259
Izmēri 155 × 233 × 14 mm   ·   385 g
Valoda Angļu  
Redaktors Johnstone, Peter T.
Redaktors Pitt, David
Redaktors Rydeheard, D.e.

Vairāk no tā paša izdevēja

Skatīt visus D. E. Rydeheard