Handbook of automated reasoning

By: Contributor(s): Material type: TextLanguage: English Publication details: Amsterdam Elsevier Science 2001Description: p. cmISBN:
  • 0444508120(V2) (hbd)
  • 0444829490(V1) (hbd)
  • 0444508139(Set) (hbd)
Subject(s): DDC classification:
  • D65,8(B):(R1)g, P1.1-.2 RR
Item type: Reference
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Cover image Item type Current library Home library Collection Shelving location Call number Materials specified Vol info URL Copy number Status Notes Date due Barcode Item holds Item hold queue priority Course reserves
Reference Central Science Library Central Science Library D65,8(B):(R1)g P1.1-.2 RR (Browse shelf(Opens below)) V 1 Not for loan SL1177338

CONTENTS:V 1(xxv, 970p),Index (961-970p); V 2(xxv, 963-2122p),Index (2113-2122p); Includes bibliographical references

There are no comments on this title.

to post a comment.
Previous
Back to results
Next
Close
Copyright @ Delhi University Library System