Items related to Handbook of Automated Reasoning (Volume II)
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherNorth Holland
- Publication date2001
- ISBN 10 0444508120
- ISBN 13 9780444508126
- BindingHardcover
- LanguageEnglish
- Edition number1
- Number of pages1188
- EditorRobinson Alan J.A., Voronkov Andrei
Buy New
View this item
US$ 230.74
US$ 20.80 shipping from United Kingdom to U.S.A.
Destination, rates & speeds
Search results for Handbook of Automated Reasoning (Volume II)
Stock Image
Handbook of Automated Reasoning (Volume II)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: 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! Seller Inventory # S_350444828
Quantity: 1 available
Stock Image
Handbook of Automated Reasoning
Published by
ELSEVIER SCIENCE & TECHNOLOGY, 2001
ISBN 10: 0444508120
ISBN 13: 9780444508126
Used
Hardcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 1188 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 2037895/2
Quantity: 1 available
Stock Image
Handbook of Automated Reasoning: Volume II
Published by
North Holland 2001-06-21, 2001
ISBN 10: 0444508120
ISBN 13: 9780444508126
New
Hardcover
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: New. Seller Inventory # 6666-ELS-9780444508126
Quantity: Over 20 available
Stock Image
Handbook of Automated Reasoning
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 1188 69:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Case Laminate on White w/Gloss Lam. Seller Inventory # 8361741
Quantity: 3 available
Stock Image
HANDBOOK AUTO REASON VOL II H
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # bc228190f5f0c56428bbaf4d0cd0da5a
Quantity: Over 20 available
Seller Image
Handbook of Automated Reasoning
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 684527-n
Quantity: Over 20 available
Stock Image
Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock. Seller Inventory # __0444508120
Quantity: 2 available
Seller Image
Handbook of Automated Reasoning
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 684527-n
Quantity: Over 20 available
Seller Image
Handbook of Automated Reasoning. Vol.2
Print on DemandSeller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. Englisch. Seller Inventory # 9780444508126
Quantity: 2 available
Stock Image
Handbook of Automated Reasoning
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 1188. Seller Inventory # 26534738
Quantity: 3 available