MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06575cam a22008654a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocm50425723 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703142828.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o 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 |
020605s2002 gw a ob 101 0 eng c |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
COO |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
COO |
| Modifying agency |
HNK |
| -- |
BAKER |
| -- |
WAU |
| -- |
OCLCQ |
| -- |
YNG |
| -- |
OHI |
| -- |
CSU |
| -- |
NOC |
| -- |
DKDLA |
| -- |
OCLCA |
| -- |
OCLCQ |
| -- |
GW5XE |
| -- |
OCLCA |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
YDX |
| -- |
SHS |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
BUF |
| -- |
QE2 |
| -- |
OCLCA |
| -- |
OCLCQ |
| -- |
EUX |
| -- |
OCLCQ |
| -- |
UKAHL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
WSU |
| -- |
OCLCO |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBA249249 |
| Source |
bnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
009729131 |
| Source |
Uk |
| 019 ## - |
|---|
| -- |
436650057 |
| -- |
644324583 |
| -- |
768064047 |
| -- |
1053977438 |
| -- |
1114575680 |
| -- |
1238451169 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540454700 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540454705 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540438653 |
| Qualifying information |
(acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540438656 |
| Qualifying information |
(acid-free paper) |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/3-540-45470-5 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000044635191 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051315882 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051691289 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000065091783 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14994308 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15295908 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000078468578 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)50425723 |
| Canceled/invalid control number |
(OCoLC)436650057 |
| -- |
(OCoLC)644324583 |
| -- |
(OCoLC)768064047 |
| -- |
(OCoLC)1053977438 |
| -- |
(OCoLC)1114575680 |
| -- |
(OCoLC)1238451169 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
Q334 |
| Item number |
.A768 2002 |
| 055 #3 - CLASSIFICATION NUMBERS ASSIGNED IN CANADA |
|---|
| Classification number |
QA75 |
| Item number |
.L38 no.2385 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYQ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
TJFM1 |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM004000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
QA |
| Source |
lcco |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
006.3 |
| Edition number |
21 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
AISC (Conference) |
| Number of part/section/meeting |
(6th : |
| Date of meeting |
2002 : |
| Location of meeting |
Marseille, France) |
| 9 (RLIN) |
16409 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Artificial intelligence, automated reasoning, and symbolic computation : |
| Remainder of title |
joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings / |
| Statement of responsibility, etc. |
Jacques Calmet [and others] (eds.). |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2002. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xi, 341 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
2385. |
| Series statement |
Lecture notes in artificial intelligence. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, AISC 2002, and Calculemus 2002 held in Marseille, France, in July 2002. The 24 revised full papers presented together with 2 system descriptions were carefully reviewed and selected from 52 submissions. Among the topics covered are automated theorem proving, logical reasoning, mathematical modeling, algebraic computations, computational mathematics, and applications in engineering and industrial practice. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Invited Talks -- Constraint Acquisition -- Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees -- Deduction versus Computation: The Case of Induction -- Integration of Quantifier Elimination with Constraint Logic Programming -- AISC Regular Talks -- Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design -- Inductive Synthesis of Functional Programs -- A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis -- On a Generalised Logicality Theorem -- Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic -- The Wright? Function -- Multicontext Logic for Semigroups of Contexts -- Indefinite Integration as a Testbed for Developments in Multi-agent Systems -- Expression Inference -- Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation -- A Novel Face Recognition Method -- Non-commutative Logic for Hand-Written Character Modeling -- From Numerical to Symbolic Data during the Recognition of Scenarii -- On Mathematical Modeling of Networks and Implementation Aspects -- Continuous First-Order Constraint Satisfaction -- Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints -- A Genetic-Based Approach for Satisfiability Problems -- On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope -- Calculemus Regular Talks -- Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements -- The Meaning of Infinity in Calculus and Computer Algebra Systems -- Making Conjectures about Maple Functions -- Employing Theory Formation to Guide Proof Planning -- Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms -- Combining Generic and Domain Specific Reasoning by Using Contexts -- Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus -- Yacas: A Do-It-Yourself Symbolic Algebra Environment -- Focus Windows: A New Technique for Proof Presentation. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence |
| Form subdivision |
Congresses. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical |
| Form subdivision |
Congresses. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Automatic theorem proving |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14919 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Intelligence artificielle |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
17678 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logique symbolique et mathématique |
| Form subdivision |
Congrès. |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Théorèmes |
| General subdivision |
Démonstration automatique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
14921 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence |
| Source of heading or term |
fast |
| 9 (RLIN) |
1340 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Automatic theorem proving |
| Source of heading or term |
fast |
| 9 (RLIN) |
14923 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical |
| Source of heading or term |
fast |
| 9 (RLIN) |
1341 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Calmet, Jacques. |
| 9 (RLIN) |
16412 |
| 711 2# - ADDED ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
Calculemus 2000 |
| Date of meeting |
(2002 : |
| Location of meeting |
Marseille, France) |
| 9 (RLIN) |
16413 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version:AISC 2002 (2002 : Marseille, France) |
| Title |
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings |
| Record control number |
(OCoLC)49991602 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
2385. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science. |
| Name of part/section of a work |
Lecture notes in artificial intelligence. |
| 9 (RLIN) |
14916 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/3-540-45470-5">https://link.springer.com/10.1007/3-540-45470-5</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH20755280 |
| 938 ## - |
|---|
| -- |
Baker & Taylor |
| -- |
BKTY |
| -- |
69.95 |
| -- |
69.95 |
| -- |
3540438653 |
| -- |
0004021677 |
| -- |
active |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3071863 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
13350908 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |