Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

FORMAL METHODS IN ARTIFICIAL INTELLIGENCE

By: Material type: TextTextPublication details: London North Oxford Academic 1987Description: vii,205Subject(s): DDC classification:
  • 001.535 D372oE
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number URL Status Date due Barcode Item holds
Books Books PK Kelkar Library, IIT Kanpur COMPACT STORAGE (BASEMENT) 001.535 D372oE (Browse shelf(Opens below)) Link to resource Damaged (F) A97156
Total holds: 0

Trans. Of Outils Logiques Pour Intelligence Artificielle

There are no comments on this title.

to post a comment.

Powered by Koha