Publicado por North Holland, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!.
Publicado por Elsevier - Academic Press, 2001
ISBN 10: 0444829490 ISBN 13: 9780444829498
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por North Holland 2001-06-21, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: Chiron Media, Wallingford, Reino Unido
Hardcover. Condición: New.
Publicado por Elsevier Science, 2001
ISBN 10: 0444829490 ISBN 13: 9780444829498
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
HRD. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Publicado por Elsevier Science, 2001
ISBN 10: 0444829490 ISBN 13: 9780444829498
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
HRD. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Publicado por North Holland, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: Books Unplugged, Amherst, NY, Estados Unidos de America
Condición: Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 5.47.
Publicado por North Holland, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Condición: new. Questo è un articolo print on demand.
Publicado por North-Holland, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: Revaluation Books, Exeter, Reino Unido
Hardcover. Condición: Brand New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock.
Publicado por North Holland, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: GF Books, Inc., Hawthorne, CA, Estados Unidos de America
Condición: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 5.47.
Publicado por North Holland, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: Book Deals, Tucson, AZ, Estados Unidos de America
Condición: Fine. Like New condition. Great condition, but not exactly fully crisp. The book may have been opened and read, but there are no defects to the book, jacket or pages. 5.47.
Publicado por North Holland, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: Book Deals, Tucson, AZ, Estados Unidos de America
Condición: Very Good. Very Good condition. Shows only minor signs of wear, and very minimal markings inside (if any). 5.47.
Publicado por North Holland, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: New.
Publicado por Elsevier BV, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por North Holland, 2001
ISBN 10: 0444829490 ISBN 13: 9780444829498
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Condición: New.
Publicado por North Holland, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: GreatBookPricesUK, Castle Donington, DERBY, Reino Unido
Condición: New.
Publicado por North Holland, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Condición: New.
Publicado por Elsevier Science, 2001
ISBN 10: 0444829490 ISBN 13: 9780444829498
Librería: moluna, Greven, Alemania
Gebunden. Condición: New. This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.Part I. History 1. The Early History o.
Publicado por North Holland, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: GreatBookPricesUK, Castle Donington, DERBY, Reino Unido
Condición: As New. Unread book in perfect condition.
Publicado por North Holland, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: Mispah books, Redhill, SURRE, Reino Unido
Hardcover. Condición: Like New. Like New. book.
Publicado por North Holland, 2001
ISBN 10: 0444829490 ISBN 13: 9780444829498
Librería: GF Books, Inc., Hawthorne, CA, Estados Unidos de America
Condición: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 4.59.
Publicado por North Holland, 2001
ISBN 10: 0444829490 ISBN 13: 9780444829498
Librería: Books Unplugged, Amherst, NY, Estados Unidos de America
Condición: New. Buy with confidence! Book is in new, never-used condition 4.59.
Publicado por North Holland, 2001
ISBN 10: 0444829490 ISBN 13: 9780444829498
Librería: Book Deals, Tucson, AZ, Estados Unidos de America
Condición: Good. Good condition. This is the average used book, that has all pages or leaves present, but may include writing. Book may be ex-library with stamps and stickers. 4.59.
Publicado por North Holland, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: As New. Unread book in perfect condition.
Publicado por Elsevier Science, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: moluna, Greven, Alemania
Gebunden. Condición: New. This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.Pa.
Publicado por Elsevier, 2001
ISBN 10: 0444508139 ISBN 13: 9780444508133
Librería: Books Puddle, New York, NY, Estados Unidos de America
Condición: New. pp. 2128.
Publicado por Elsevier, 2001
ISBN 10: 0444508139 ISBN 13: 9780444508133
Librería: Majestic Books, Hounslow, Reino Unido
Condición: New. pp. 2128.
Publicado por The MIT Press, 2001
ISBN 10: 0262182238 ISBN 13: 9780262182232
Librería: Iridium_Books, DH, SE, España
Hardcover. Condición: Good. 0262182238.
Publicado por Elsevier Science, 2001
ISBN 10: 0444829490 ISBN 13: 9780444829498
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Buch. Condición: Neu. Neuware - This first volume of the 'Handbook of Automated Reasoning' includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.
Publicado por Elsevier Science Technology, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: Collectors Bookstore, Antwerpen, Belgica
Hardcover. Condición: Fine. Handbook Of Automated Reasoning by Alan J.A. Robinson. Published by Elsevier Science Technology in 2001. Hardcover ISBN:9780444508126. Collectible item in very fine condition.
Publicado por Elsevier Science, 2001
ISBN 10: 0444508120 ISBN 13: 9780444508126
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Buch. Condición: Neu. Neuware - This second volume of 'Handbook of Automated Reasoning' covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.