Vol. 29 of Contemporary Mathematics(Automated Theorem Proving: After 25 Years). Creased upper corner of the front cover, otherwise the covers look great. The binding is tight. The title page is stamped. The interior pages are clean and unmarked. Electronic delivery tracking will be issued free of charge.

Codice articolo 09705

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo

Contemporary Mathematics: Volume 29. Automated Theorem Proving: After 25 Years.

Editore

Amer Mathematical Society, New York

Lingua

Inglese

ISBN 10

082185027X

ISBN 13

9780821850275

Rilegatura

Softcover

Edizione

First Edition.

Condizione

Very Good

Condizione della sovraccoperta

No Jacket

Cataloghi dei venditori

Applications of Computing

Descrizione articolo

Riassunto

Questo libro trova un degno posto all'interno del panorama della letteratura e dell'insegnamento grazie alle parole e alle espressioni che gli donano un carattere distintivo.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Alien Bindings is an online bookshop located in Baltimore that has been in operation for nearly 20 years. Alien Bindings caters to the sciences including the physical sciences, astronomy, mathematics, computer science, the social sciences and medicine. I also dabble in a wide array of other categories including antiquarian books and history. I run a clean, green business. I try to reuse clean materials for packaging whenever possible. For example, books are carefully packaged frequently using clean cardboard for custom made boxes, recycled paper is used for printed labels and recycled plastic or bubble wrap is used for a weather-proof barrier. I drop the packages off to my local post office via foot or cycle in order to further reduce the carbon footprint.