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.
Other Popular Editions of the Same Title
Search results for Handbook of Automated Reasoning (Volume II)
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 4 out of 5 stars
Hardcover. Condition: New. Seller Inventory # 6666-ELS-9780444508126
Buy New
US$ 230.93
US$ 20.82 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
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
Stock Image
Handbook of Automated Reasoning
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 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
Buy New
US$ 251.04
US$ 8.74 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
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
Buy New
US$ 260.17
US$ 23.45 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 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
Buy New
US$ 270.55
US$ 20.16 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)
Print on DemandSeller: 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. This item is printed on demand. Seller Inventory # __0444508120
Buy New
US$ 269.48
US$ 26.88 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Handbook of Automated Reasoning (Volume II)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780444508126_new
Buy New
US$ 280.48
US$ 16.10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 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
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
Buy New
US$ 272.74
US$ 26.97 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
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