A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design
by Norman Rubin
Format: Paperback
ISBN13: 9781153489072
Paperback|9781153489072
Out of Stock
Overview
Ce livre historique peut contenir de nombreuses coquilles et du texte manquant. Les acheteurs peuvent generalement telecharger une copie gratuite scannee du livre original (sans les coquilles) aupres de l'editeur. Non reference. Non illustre. 1829 edition. Extrait: ... 6 inches. SCULPTURE., ..-'.. ANTIQUE. .M.MU.SKIi FRANCAIS. PERSONNAGES ROMAINS. Ce groupe est forme de deux personnages illustres, dont l'un des deux porte les attributs de Mars; et pour eette raison on a voulu donner a l'autre le nom de Venus, quoiqu'il ne s'y trouve aucun des caracteres de cette deesse. En examinant avec attention les tetes, il est facile de voir que ce sont des portraits de personnages romains, mais on ne peut determiner leurs noms. On a cru pendant quelque temps que c'etait Coriolan arrete aux portes de Rome, et apaise par sa femme Volumnia, ou bien Hector quittant Andromaque; mais la coiffure des deux personnages et le travail du ciseau prouvent que ce groupe n'est pas du a la Grece, et qu'il est de la fin du premier siecle de l'empire romain; les traits de la figure de l'homme sont ceux de l'empereur Adrien, mais ceux de la femme n'ont aucun rapport avec la tete de l'imperatrice Sabine: ils en auraient davantage avec ceux de b'austine, femme de Marc-Aurele. Ce groupe, malgre la beaute de sa composition, laisse apercevoir quelques imperfections dans l'execution; ce qui doit faire penser que c'est la copie d'un beau type par un artiste qui ne peut etre place au premier rang. Le nez de la femme et son avant-bras droit jusqu'au bracelet, ainsi que la main gauche de l'homme et le pouce de sa main droite, sont des restaurations modernes. Haut., 5 pieds. SCULPTURE. cf-c ANTIQUE. Cmm-FRENCH MUSEUM. ROMAN PERSONAGES. This group is composed of two...
| ISBN-13 | 9781153489072 |
|---|---|
| ISBN-10 | 1153489074 |
| Weight | 0.28 Pounds |
| Dimensions | 9.00 x 6.00 x 0.19 In |
| List Price | $14.14 |
| Format | Paperback |
|---|---|
| Pages | 78 pages |
| Publisher | |
| Published On | 2010-01-01 |
View All Offers
Sort by:
Price
