Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Constraint solving over multi-valued logics (Record no. 310387)

000 -LEADER
fixed length control field 02968cam a2200637Ia 4500
001 - CONTROL NUMBER
control field ocm53011694
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20140120112244.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 030911s2003 ne a ob 000 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency
Language of cataloging eng
Transcribing agency N$T
Modifying agency OCLCQ
-- TUU
-- OCLCQ
-- TNF
-- OCLCQ
-- UV0
-- CAI
-- OCLCE
-- E7B
-- DKDLA
-- IDEBK
-- OCLCO
-- FVL
-- OCLCQ
019 ## -
-- 228132452
-- 276799395
-- 297460356
-- 475328154
-- 488492326
-- 560017623
-- 666964402
-- 722445253
-- 728035480
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 058545860X (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780585458601 (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781586033040 (IOS Press)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 1586033042 (IOS Press)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9784274905551 (Ohmsha)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 4274905551 (Ohmsha)
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 11772502
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 12033851
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)53011694
Canceled/invalid control number (OCoLC)228132452
-- (OCoLC)276799395
-- (OCoLC)297460356
-- (OCoLC)475328154
-- (OCoLC)488492326
-- (OCoLC)560017623
-- (OCoLC)666964402
-- (OCoLC)722445253
-- (OCoLC)728035480
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.612
Item number .A94 2003eb
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 051390
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 051440
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 051230
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code TK
Source lcco
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.116
Edition number 22
049 ## - LOCAL HOLDINGS (OCLC)
Holding library ISIA
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Azevedo, Francisco.
245 10 - TITLE STATEMENT
Title Constraint solving over multi-valued logics
Medium [electronic resource] :
Remainder of title application to digital circuits /
Statement of responsibility, etc Francisco Azevedo.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Amsterdam ;
-- Washington, DC :
Name of publisher, distributor, etc IOS ;
Place of publication, distribution, etc Tokyo :
Name of publisher, distributor, etc Ohmsha,
Date of publication, distribution, etc 2003.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xviii, 204 p.) :
Other physical details ill.
490 1# - SERIES STATEMENT
Series statement Frontiers in artificial intelligence and applications ;
Volume number/sequential designation v. 91
490 1# - SERIES STATEMENT
Series statement Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (p. 145-153).
588 ## -
-- Description based on print version record.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Constraint programming (Computer science)
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Many-valued logic.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Digital electronics.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Programming
-- Open Source.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Software Development & Engineering
-- Tools.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Software Development & Engineering
-- General.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronic books.
Source of heading or term local
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronic books.
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Print version:
Main entry heading Azevedo, Francisco.
Title Constraint solving over multi-valued logics.
Place, publisher, and date of publication Amsterdam ; Washington, DC : IOS ; Tokyo : Ohmsha, 2003
International Standard Book Number 1586033042
-- 4274905551
Record control number (OCoLC)51911916
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Frontiers in artificial intelligence and applications ;
Volume number/sequential designation v. 91.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Frontiers in artificial intelligence and applications.
Name of part/section of a work Dissertations in artificial intelligence.
856 40 - ELECTRONIC LOCATION AND ACCESS
Materials specified EBSCOhost
Uniform Resource Identifier <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=87528">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=87528</a>
938 ## -
-- EBSCOhost
-- EBSC
-- 87528
938 ## -
-- ebrary
-- EBRY
-- ebr10116478
938 ## -
-- Ingram Digital eBook Collection
-- IDEB
-- 50577
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-BOOKS
994 ## -
-- 92
-- INISI

No items available.

Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in


Visitor Counter