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

By: Contributor(s): Material type: TextTextLanguage: English Series: Handbook of automated reasoningPublication details: Netherlands Elsevier Science 2001Description: p. cmISBN:
  • 0444508120(V2) (hbd)
Subject(s): DDC classification:
  • D65,8(B):(R1)g, P1.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.2 RR (Browse shelf(Opens below)) V 1 Not for loan SL1177339

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

There are no comments on this title.

to post a comment.