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

Նախորդ		Չկան հասանելի կազմերի պատկերներ	Չկան հասանելի կազմերի պատկերներ	Չկան հասանելի կազմերի պատկերներ	Չկան հասանելի կազմերի պատկերներ	Չկան հասանելի կազմերի պատկերներ	Չկան հասանելի կազմերի պատկերներ	Հաջորդը
Նախորդ	16 T-29 Teaching thinking skills :	16 М-62 Индуктивная и дедуктивная логика /	16 С-87 Элементарная логика :	164 C-45 Symbolic logic and mechanical theorem proving /	165 K-83 Essays in semiotics :	165 S-43 Approaches to semiotics :	165 S-43 Approaches to semiotics :	Հաջորդը

Includes bibliographical references (p. 309-324) and index

Այս վերնագրի համար չկան մեկնաբանություններ։

ուղարկել մեկնաբանություն։