022 -INTERNATIONAL STANDARD SERIAL NUMBER
|
|
050 -LIBRARY OF CONGRESS CALL NUMBER
|
a
Classification number
QA76.9.L63
|
b
Item number
A3
|
|
245 -TITLE STATEMENT
|
a
Title
ACM transactions on computational logic
|
h
Medium
Online Journal
|
|
246 -VARYING FORM OF TITLE
|
a
Title proper/short title
Association for Computing Machinery transactions on computational logic
|
|
246 -VARYING FORM OF TITLE
|
a
Title proper/short title
Computational logic
|
|
246 -VARYING FORM OF TITLE
|
a
Title proper/short title
Transactions on computational logic
|
|
246 -VARYING FORM OF TITLE
|
a
Title proper/short title
TOCL
|
|
260 -PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
|
a
Place of publication, distribution, etc
New York, NY :
|
b
Name of publisher, distributor, etc
Association for Computing Machinery,
|
c
Date of publication, distribution, etc
c2000-
|
|
310 -CURRENT PUBLICATION FREQUENCY
|
a
Current publication frequency
Quarterly
|
|
362 -DATES OF PUBLICATION AND/OR SEQUENTIAL DESIGNATION
|
a
Dates of publication and/or sequential designation
Vol. 1, no. 1 (July 2000)-
|
|
500 -GENERAL NOTE
|
a
General note
Title from cover.
|
|
500 -GENERAL NOTE
|
a
General note
Latest issue consulted: Vol. 2, no. 4 (Oct. 2001).
|
|
500 -GENERAL NOTE
|
a
General note
Academic Journal
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
a
Topical term or geographic name as entry element
Computer logic
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
a
Topical term or geographic name as entry element
Logic, Symbolic and mathematical
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
a
Topical term or geographic name as entry element
Computer science
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
a
Topical term or geographic name as entry element
Logique informatique
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
a
Topical term or geographic name as entry element
Logique symbolique et mathématique
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
a
Topical term or geographic name as entry element
Informatique
|
|
773 -HOST ITEM ENTRY
|
t
Title
Computers & Applied Sciences Complete
|
d
Place, publisher, and date of publication
Ipswich, MA : EBSCO Publishing, 1999-
|
|
856 -ELECTRONIC LOCATION AND ACCESS
|
|