FirstCity
Welcome to First City University College Library iPortal | library@firstcity.edu.my | +603-7735 2088 (Ext. 519)

Journal of automated reasoning (Record no. 22488)

MARC details
000 -LEADER
fixed length control field 02453nas a2200529 a 4500
001 - CONTROL NUMBER
control field ssj0003109
003 - CONTROL NUMBER IDENTIFIER
control field WaSeSS
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200818174916.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION
fixed length control field m d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr n
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 980126c19859999ne bx pss 0 a0eng c
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2004229180
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 1479376-3
Source DE-600
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 012433684
Source Uk
022 ## - INTERNATIONAL STANDARD SERIAL NUMBER
International Standard Serial Number 1573-0670
-- 0168-7433
Incorrect ISSN 0168-7433
035 ## - SYSTEM CONTROL NUMBER
System control number (WaSeSS)ssj0003109
040 ## - CATALOGING SOURCE
Original cataloging agency F#A
Language of cataloging eng
Description conventions pn
Transcribing agency F#A
Modifying agency OCL
-- OCLCQ
-- MUQ
-- OCLCQ
-- FUG
-- OCLCQ
-- OCL
-- MYG
-- OCLCQ
-- OCLCO
-- OCLCQ
-- BUF
-- OCLCF
-- OCLCO
-- OCLCQ
-- EZC
-- UKMGB
-- DLC
-- VT2
-- NJT
-- UBY
-- WaSeSS
042 ## - AUTHENTICATION CODE
Authentication code pcc
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.A96
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
130 0# - MAIN ENTRY--UNIFORM TITLE
Uniform title Journal of automated reasoning (Online)
245 10 - TITLE STATEMENT
Title Journal of automated reasoning
Medium [electronic resource].
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
-- Dordrecht :
Name of publisher, distributor, etc Kluwer Academic Publishers
260 3# - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
-- Oct. 2004- :
Place of publication, distribution, etc Netherlands :
Name of publisher, distributor, etc Sprigner Netherlands
310 ## - CURRENT PUBLICATION FREQUENCY
Current publication frequency Eight issues yearly,
Date of current publication frequency 2009-
321 ## - FORMER PUBLICATION FREQUENCY
Former publication frequency Bimonthly,
-- -2008
362 1# - DATES OF PUBLICATION AND/OR SEQUENTIAL DESIGNATION
Dates of publication and/or sequential designation Began with Vol. 1, issue 1, (Mar. 1985).
506 ## - RESTRICTIONS ON ACCESS NOTE
Terms governing access License restrictions may limit access.
515 ## - NUMBERING PECULIARITIES NOTE
Numbering peculiarities note Some issues combined.
538 ## - SYSTEM DETAILS NOTE
System details note Mode of access: World Wide Web.
588 0# -
-- Vol. 1, issue 1, (Mar. 1985); title from journal information screen (viewed Jan. 25, 1998).
588 1# -
-- Vol. 61, issue 1/4 (June 2018) (Springer Lnk, viewed Nov. 28, 2018).
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Automatic theorem proving
Form subdivision Periodicals.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Artificial intelligence
Form subdivision Periodicals.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic programming
Form subdivision Periodicals.
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Th�eor�emes
General subdivision D�emonstration automatique
Form subdivision P�eriodiques.
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Intelligence artificielle
Form subdivision P�eriodiques.
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programmation logique
Form subdivision P�eriodiques.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Artificial intelligence.
Source of heading or term fast
-- (OCoLC)fst00817247
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Automatic theorem proving.
Source of heading or term fast
-- (OCoLC)fst00822777
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic programming.
Source of heading or term fast
-- (OCoLC)fst01002056
655 #0 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic journals.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Print version:
Title Journal of automated reasoning
International Standard Serial Number 0168-7433
Record control number (DLC)sf 93093541
-- (OCoLC)11936798
856 40 - ELECTRONIC LOCATION AND ACCESS
Public note Full text available from Engineering Database: 02/01/1997 to 12/31/2015
Uniform Resource Identifier <a href="https://libproxy.firstcity.edu.my:8443/login?url=https://search.proquest.com/publication/2028908">https://libproxy.firstcity.edu.my:8443/login?url=https://search.proquest.com/publication/2028908</a>
856 40 - ELECTRONIC LOCATION AND ACCESS
Public note Full text available from Engineering Database: 01/01/2019 to 1 year ago
Uniform Resource Identifier <a href="https://libproxy.firstcity.edu.my:8443/login?url=https://search.proquest.com/publication/2028908">https://libproxy.firstcity.edu.my:8443/login?url=https://search.proquest.com/publication/2028908</a>

No items available.