東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

ACM transactions on computational logic.

Association for Computing Machinery.

Linked to FindBook

Google Book

Amazon

博客來

ACM transactions on computational logic.

Record Type:	Language materials, printed : Serial
Title/Author:	ACM transactions on computational logic./
remainder title:	TOCL
Published:	New York, NY :Association for Computing Machinery, : c2000-,
Description:	v. ;26 cm.
Notes:	Latest issue consulted: Vol. 2, no. 4 (Oct. 2001).
serial volume memo:	Quarterly
Subject:	Computer logic - Periodicals. -
Online resource:	https://dl.acm.org/loi/toclACM
ISSN:	1529-3785

ACM transactions on computational logic.
ACM transactions on computational logic.TOCL - New York, NY :Association for Computing Machinery,c2000- - v. ;26 cm. - Quarterly - Vol. 1, no. 1 (July 2000)-

Latest issue consulted: Vol. 2, no. 4 (Oct. 2001).

Vol. 1 complete with 2 issues.

ISSN: 1529-3785 = ACM transactions on computational logic = ACM trans. comput. log.

CODEN: ATCLA8

ACM, 1515 Broadway, 17th Floor, New York, NY 10036

LCCN: 00211749 Subjects--Topical Terms:

957640
Computer logic
--Periodicals.

LC Class. No.: QA76.9.L63 / A3

Dewey Class. No.: 004

ACM transactions on computational logic.
LDR:01252cas 2200361 a 450 001 810364
005 20050915050422.0
008 091127c20009999nyuqr1p 0 a0eng d
010 $a 00211749 $z 00227129
012 $a -3-7-0509140112-p-----0 10
022 0 $a 1529-3785
030 $a ATCLA8
035 $a 00502727
037 $b ACM, 1515 Broadway, 17th Floor, New York, NY 10036
040 $a NSDP $c NSDP $d DLC $d InU $d MCM $d MUQ $d MiEM $d MiU $d NSDP $d NSDP $d OCoLC $d OUCA $d TNJ $d WaU
042 $a lc $a nsdp
050 0 0 $a QA76.9.L63 $b A3
082 1 0 $2 13 $a 004
210 0 # $a ACM trans. comput. log.
222 0 $a ACM transactions on computational logic
245 0 0 $a ACM transactions on computational logic.
246 1 3 $a TOCL
246 2 # $a Association for Computing Machinery transactions on computational logic
246 3 0 $a Computational logic
246 3 0 $a Transactions on computational logic
260 # $a New York, NY : $b Association for Computing Machinery, $c c2000-
300 $a v. ; $c 26 cm.
310 $a Quarterly
362 0 $a Vol. 1, no. 1 (July 2000)-
500 $a Latest issue consulted: Vol. 2, no. 4 (Oct. 2001).
500 $a Title from cover.
515 $a Vol. 1 complete with 2 issues.
530 $a Also available via the World Wide Web.
650 # 0 $a Computer logic $v Periodicals. $3 957640
650 # 0 $a Logic, Symbolic and mathematical $v Periodicals. $3 957641
650 # 0 $a Computer science $x Mathematics $v Periodicals. $3 515214
650 # 6 $a Logique informatique $v Périodiques $3 3520799
650 # 6 $a Logique symbolique et mathématique $v Périodiques $3 3520800
650 # 6 $a Informatique $x Mathématiques $v Périodiques $3 3520801
710 2 # $a Association for Computing Machinery. $3 695819
856 # # $u https://dl.acm.org/loi/tocl $z ACM $2 http