icon
Image from Google Jackets
Image from OpenLibrary

Automated theorem proving

By: Publication details: amsterdam North-Holand 1978Description: 405PSubject(s): DDC classification:
  • 23 001.535 L898
Item type: كتاب
Tags from this library: No tags from this library for this title.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
كتاب كتاب الهندسة 001.535++L898 (Browse shelf(Opens below)) Available