Amazon cover image
Image from Amazon.com

Automation of reasoning -1 classical papers on computational logic 1957-1966 ed. by Jorg Siekmann and Graham Wrightson

Contributor(s): Material type: BookBookPublication details: Berlin Springer-Verlag 1983Description: xii, 525pISBN:
  • 3540120432
Subject(s): DDC classification:
  • 001.535 N832.1
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 Call number Status Date due Barcode
Book Book JRD Tata Memorial Library 001.535 N832.1 (Browse shelf(Opens below)) Available 118241

There are no comments on this title.

to post a comment.

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832

Powered by Koha