Normal view MARC view ISBD view

Matematicheskaia logika i avtomaticheskoe dokazatel'stvo teorem Ch. Chen'; P. Li; trad. din lb. engleza: G. V. Davydova; G. E. Mintsa; A. V. Sochilinoj

By:

Contributor(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Carti	IMAR	II 25513 (Browse shelf(Opens below))	Available		0009148

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	II 25509 Algebre et theorie des nombres	II 25510 Theorems et problemes d'analyse fonctionnelle	II 25511 Prikladnoe optimal'noe proektirovanie Mehanicheskie sistemy i konstuktsii	II 25513 Matematicheskaia logika i avtomaticheskoe dokazatel'stvo teorem	II 25514 Vvedenie v teoriiu solitonov	II 25515 Kurs teoreticheskoj mehaniki 2 Dinamika	II 25515 Kurs teoreticheskoj mehaniki 1 Statika i kinematika	Next

Cuprinde bibliografie pe capitole

Scriere chirilica

Symbolic Logic and Mechanical Theorem Proving - Chin - Liang Chang; Richard Char - Tung Lee (New York; San Francisco; London - Academic Press - 1973)

There are no comments on this title.

to post a comment.