Amazon cover image
Image from Amazon.com

Handbook of automated reasoning. Volume II [electronic resource] / editors, Alan Robinson and Andrei Voronkov.

Contributor(s): c2001Description: 1 online resource (xxv, 963-2122 p.) : illISBN:
  • 9780080532790
  • 0080532799
Subject(s): Genre/Form: Additional physical formats: Print version:: Handbook of automated reasoning.Online resources:
Item type: eBooks
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Description based on print version record.

Includes bibliographical references and index.

Previous
Back to results
Next
Close

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu