REPORT OF THE COMMITTEE ON CHARLES RIVER DAM by MASSACHUSETTS, Commonwealth of - 1903

John Murray. London. 1857. Third Edition, Revised, With Additions. The same year as the First edition. 8vo. (8.8 x 5.8 inches). Portrait frontis. Finely bound, by Frost & Co, of Bath, in half tan calf. Spine with five raised bands, each with gilt floral wavy role. Compartments decorated with double ruled borders. Within the borders are floral corner decorations and decorative centre pieces. Red and blue labels, ruled and lettered in gilt. Tan cloth on boards. Marbled endpapers. Top edge gilt. A fine copy in a highly attractive fine binding.

Baltimore, MD: The Association for Computing Machinery, 1965. Quarto. Original cream wrappers printed in black. Remnants of a mailing label to the upper wrapper. Just a little rubbed and creased. Excellent condition. First publication of the resolution principle, the standard of logical deduction in AI applications. The basic computational method in logic programming, the unification algorithm, was proposed by mathematician Jacques Herbrand in 1930, but its first practical use was not discovered until Robinson introduced it in this paper as the basic operation of his resolution principle. "Robinson described his resolution principle as 'machine-oriented' in that it was particularly suitable for proofs to be performed by computer, having only one rule of inference that could be applied many times. Robinson's resolution has since been used as the standard of logical deduction in AI applications" (Hook & Norman, Origins of Cyberspace 865). "Born in Halifax, England, and having served in the RAF,… Read More

New York: American Institute of Electrical Engineers, 1952. First Edition. Wraps. Very Good. First Edition. 114 pages. 8 1/4 x 11 inches. Publisher's tan printed wrappers. Text illustrations. "B-185 copy 29" inked on front wrapper. Glue residue on inside rear cover. Otherwise clean with no other markings. Minor wear to extremities. Wraps. The first joint AIEE-IRE Computer conference, conducted with the assistance of the newly created Association for Computing Machinery. The purpose of the conference was "to assess the adequacy of the designs of present working high-speed digital computers in order to point out the direction which computer design should go, to make comptuers best for the jobs that they have been doing and for the jobs that they will have to do" (from MacWilliam's keynote speech). 18 papers were delivered, including "The UNIVAC System" by Eckert, "Performance of the UNIVAC System" by McPherson, "The Burroughs Laboratory Computer" by Hoberg, "The ORDVAC" by Meagher, "The operation… Read More

ROMA: TIPOGRAFIA DI GIUSEPPE MENGONI, 1853. Rarissima edizione originale di questo progetto architettonico di un teatro in via del Corso ia Roma scritto da Antonio Lovatti pubblicato da Romualdo Gentilucci. Senza data ma del 1853 come indicato alla fine della prefazione. L'intenzione dell'autore era quello di costruire un nuovo teatro nella città di Roma. Descrive l'edificio in maniera molto dettagliata con dati utili per la costruzione fornendo lista dettagliata di spese e prezzi per la costruzione dell'edificio. Alla fine del volume quattro finissime planches ripiegate incise da Paolo Cacchiatelli e Pio Bertoni su disegno di Antonio Lovatti. In buone condizioni e completo. Copertina editoriale illustrata in discrete condizioni con lievi usure ai margini e dorso. Legatura in buone condizioni con qualche leggera rottura. Pagine in buone condizioni con lievi fioriture. Gore d'umidità. In 8. Dim. 48x33 cm. Pp. 20+IV.

Berlin: Julius Springer 1898 & 1912. Vol 1:XXXV+515pp+20 FOLDING PLATES. Vol 2: XXXII+506pp+19 FOLDING PLATES. With more than 1000 illustrations in text. A few corners of the bindings mildly rubbed. A very good, clean and fresh copy of this rare work,

Paris: Chez L'éditeur, 1832. Hardcover. Good. 2nd ed., "Revue et augmentée par M. Laguerenne." Imprint includes: Lyon: Chez M. Favéro. 3 volumes: 57 folded leaves of plates, some in-text tables; 26 cm. Contemporary binding: calf spines with 6 spine compartments between double gilt rules. Black leather spine labels in the second and fourth compartments with gilt-tooled title and volume numbers. Marbled paper over boards. Page edges are yellow, except for the fore-edges of the plate volume. Dedicated to Louis-Philippe I, last king of France. Volume containing the plates entitled: Atlas de la Science de l'Ingénieur. Civil engineering treatise about the construction of roads, bridges, canals, and aquaducts, with detailed engravings. In Good Condition: leather rubbed, most prominently at the tails of vol. 2 and 3; corners and fore-edges rubbed; fore-edges of vol. 3 boards are dampstained, resulting in the migration of yellow from the leaf edges to… Read More

John Murray. London. 1857. Third Edition, Revised, With Additions. The same year as the First edition. 8vo. (8.8 x 5.8 inches). Portrait frontis. Finely bound, by Frost & Co, of Bath, in half tan calf. Spine with five raised bands, each with gilt floral wavy role. Compartments decorated with double ruled borders. Within the borders are floral corner decorations and decorative centre pieces. Red and blue labels, ruled and lettered in gilt. Tan cloth on boards. Marbled endpapers. Top edge gilt. A fine copy in a highly attractive fine binding.

Baltimore, MD: The Association for Computing Machinery, 1965. Quarto. Original cream wrappers printed in black. Remnants of a mailing label to the upper wrapper. Just a little rubbed and creased. Excellent condition. First publication of the resolution principle, the standard of logical deduction in AI applications. The basic computational method in logic programming, the unification algorithm, was proposed by mathematician Jacques Herbrand in 1930, but its first practical use was not discovered until Robinson introduced it in this paper as the basic operation of his resolution principle. "Robinson described his resolution principle as 'machine-oriented' in that it was particularly suitable for proofs to be performed by computer, having only one rule of inference that could be applied many times. Robinson's resolution has since been used as the standard of logical deduction in AI applications" (Hook & Norman, Origins of Cyberspace 865). "Born in Halifax, England, and having served in the RAF,… Read More

ROMA: TIPOGRAFIA DI GIUSEPPE MENGONI, 1853. Rarissima edizione originale di questo progetto architettonico di un teatro in via del Corso ia Roma scritto da Antonio Lovatti pubblicato da Romualdo Gentilucci. Senza data ma del 1853 come indicato alla fine della prefazione. L'intenzione dell'autore era quello di costruire un nuovo teatro nella città di Roma. Descrive l'edificio in maniera molto dettagliata con dati utili per la costruzione fornendo lista dettagliata di spese e prezzi per la costruzione dell'edificio. Alla fine del volume quattro finissime planches ripiegate incise da Paolo Cacchiatelli e Pio Bertoni su disegno di Antonio Lovatti. In buone condizioni e completo. Copertina editoriale illustrata in discrete condizioni con lievi usure ai margini e dorso. Legatura in buone condizioni con qualche leggera rottura. Pagine in buone condizioni con lievi fioriture. Gore d'umidità. In 8. Dim. 48x33 cm. Pp. 20+IV.

Berlin: Julius Springer 1898 & 1912. Vol 1:XXXV+515pp+20 FOLDING PLATES. Vol 2: XXXII+506pp+19 FOLDING PLATES. With more than 1000 illustrations in text. A few corners of the bindings mildly rubbed. A very good, clean and fresh copy of this rare work,