Normal view
MARC view
Entry Meeting Name
001 - CONTROL NUMBER
- control field: 17020
003 - CONTROL NUMBER IDENTIFIER
- control field: AT-ISTA
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20200626094712.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 200626|| aca||aabn | a|a d
040 ## - CATALOGING SOURCE
- Original cataloging agency: AT-ISTA
- Transcribing agency: AT-ISTA
111 ## - HEADING--MEETING NAME
- Meeting name or jurisdiction name as entry element: TYPES 2000
- Date of meeting: (2000 :
- Location of meeting: Durham, England)
670 ## - SOURCE DATA FOUND
- Source citation: Work cat.: (AT-ISTA): TYPES 2000 (2000 : Durham, England), Types for proofs and programs :, ©2002.