Պատկեր Amazon.com -ից
Mathematical theory of domains / by Viggo Stoltenberg-Hansen, Ingrid Lindstrom, Edward R. Griffor.
Նյութի տեսակ։
ՏեքստՄատենաշար։ Cambridge Tracts in Theoretical Computer Science ; 22Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1994.Նկարագրություն։ xii, 349 p. : ill. ; 26 cmISBN: - 0521383447
| Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
|---|---|---|---|---|---|---|---|---|
Book
|
American University Library of Armenia | Ընթերցասրահ | 511.3 STO (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 76 | AUA-PL-0013678 |
Դիտման American University Library of Armenia դարակ, Հավաքածու։ Ընթերցասրահ Փակիր դարակի դիտակը (Թաքցնում է դարակի դիտակը)
| Չկան հասանելի կազմերի պատկերներ |
|
Չկան հասանելի կազմերի պատկերներ |
|
|
|
|
||
| 511.3 MEN Introduction to mathematical logic / | 511.3 MEY Epistemic logic for AI and computer science / | 511.3 MIN Computation : | 511.3 STO Mathematical theory of domains / | 511.3 TRO Lectures on linear logic / | 511.3 TRO Basic proof theory / | 511.3 UNG Normalization, cut-elemention and the theory of proofs / |
Includes bibliographical references and index.
Contents : Basic theory--Special topics.
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։