Handbook of automated reasoning Robinson Alan Ed.; Voronkov Andrei Ed.

By: Contributor(s): Material type: TextTextLanguage: 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
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
Item type Current library Home library Call number Vol info Status Barcode
Reference 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.