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

EXECUTING TEMPORAL LOGIC PROGRAMS (Record no. 284310)

000 -LEADER
fixed length control field 00407pam a2200145a 44500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160408b1986 xxu||||| |||| 00| 0 eng d
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.642
Item number M855e
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Moszkowski, B. C.
245 1# - TITLE STATEMENT
Title EXECUTING TEMPORAL LOGIC PROGRAMS
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge
Name of publisher, distributor, etc. Cambridge Univ. Pr.
Date of publication, distribution, etc. 1986
300 ## - PHYSICAL DESCRIPTION
Extent 125
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Electronic Digital Computers -- Programming
964 ## -
-- CIRC
997 ## -
-- A95681 W
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Full call number Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
Withdrawn       R311 PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 2007-08-12 001.642 M855e A95681 2016-04-08 2016-04-08 Withdrawn

Powered by Koha