• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Handbook of Automated Reasoning: Volume II

Handbook of Automated Reasoning: Volume II

Hardcover

Series: Handbook of Automated Reasoning

FictionMedical ReferenceGeneral Computers

ISBN10: 0444508120
ISBN13: 9780444508126
Publisher: North-Holland
Published: Jun 21 2001
Pages: 1188
Weight: 4.56
Height: 2.38 Width: 6.69 Depth: 9.61
Language: English
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.

Also from

Robinson, Alan J. a.

Also in

Fiction