Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee.
Նյութի տեսակ։
ՏեքստԼեզու: Անգլերեն Մատենաշար։ Computer Science and Applied MathematicsՀրատարակման մանրամասներ։ New York : Academic Press, 1973.Նկարագրություն։ xiii, 331 p. : illԽորագրեր։
| Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
|---|---|---|---|---|---|---|---|---|
Book
|
Yerevan State University Library | Հնատիպ գրականության հավաքածու | 164 C-45 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | Reading Room | SU0209525 |
Includes bibliographical references (p. 309-324) and index
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։