| 000 -LEADER |
|---|
| fixed length control field |
05580cam a2200721Ma 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn827358692 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20200626113658.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 nn|008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
100729s1996 gw ob 100 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
KIJ |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
KIJ |
| Modifying agency |
OCLCO |
| -- |
SINTU |
| -- |
GW5XE |
| -- |
OCLCF |
| -- |
ITD |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
LIP |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
SHS |
| -- |
CEF |
| -- |
AU@ |
| -- |
LEAUB |
| -- |
OCLCQ |
| -- |
HS0 |
| 019 ## - |
|---|
| -- |
990408923 |
| -- |
1005743958 |
| -- |
1044166367 |
| -- |
1056393375 |
| -- |
1065054382 |
| -- |
1075560198 |
| -- |
1081276042 |
| -- |
1119511313 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540706359 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540706356 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540616977 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540616979 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540616979 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/3-540-61697-7 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000057645646 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15494455 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)827358692 |
| Canceled/invalid control number |
(OCoLC)990408923 |
| -- |
(OCoLC)1005743958 |
| -- |
(OCoLC)1044166367 |
| -- |
(OCoLC)1056393375 |
| -- |
(OCoLC)1065054382 |
| -- |
(OCoLC)1075560198 |
| -- |
(OCoLC)1081276042 |
| -- |
(OCoLC)1119511313 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.S88 |
| Item number |
I576 1996 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UY |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYA |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM014000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM031000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.131 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International Symposium DISCO '96 |
| Date of meeting |
(1996 : |
| Location of meeting |
Karlsruhe, Germany) |
| 9 (RLIN) |
47703 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Design and Implementation of Symbolic Computation Systems : |
| Remainder of title |
International Symposium, DISCO '96 Karlsruhe, Germany, September 18-20, 1996 Proceedings / |
| Statement of responsibility, etc. |
edited by Jacques Calmet, Carla Limongelli. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin, Heidelberg : |
| Name of publisher, distributor, etc. |
Springer-Verlag, |
| Date of publication, distribution, etc. |
1996. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource : |
| Other physical details |
v.: digital |
| 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 |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
1128 |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
Serienbezeichnung |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996. The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Problem-oriented applications of automated theorem proving --?IT -- A strongly-typed embeddable computer algebra library -- DiscAtinf: A general framework for implementing calculi and strategies -- Equality elimination for the tableau method -- Towards lean proof checking -- WALDMEISTER: High performance equation theorem proving -- A reflective language based on conditional term rewriting -- Term rewriting systems: An h-categorical semantic -- Generative geometric modeling in a functional environment -- Exploiting SML for experimenting with algebraic algorithms: The example of p-adic lifting -- Conditional categories and domains -- Parameterizing object specifications -- Analyzing the dynamics of a Z specification -- Walking faster -- Integer and rational arithmetic on masPar -- Parallel 3-primes FFT algorithm -- A master-slave approach to parallel term rewriting on a hierarchical multiprocessor -- Multi-agent cooperation -- Concepts and applications -- Document-centered presentation of computing software: Compound documents are better workspaces -- Animating a non-executable formal specification with a distributed symbolic language -- Uniform representation of basic algebraic structures in computer algebra -- Integrating computer algebra with proof planning -- Structures for symbolic mathematical reasoning and computation -- Implementing FS0 in Isabelle: Adding structure at the metalevel -- An approach to class reasoning in symbolic computation -- An intelligent interface to numerical routines -- Computer algebra and the World Wide Web -- Interfacing REDUCE to Java -- Software architectures for computer algebra: A case study -- A deductive database for mathematical formulas -- CASA -- A system for Computer Aided Constructive Algebraic geometry -- Making systems communicate and cooperate: The Central Control approach -- A database for number fields -- Compiling residuation for a multiparadigm symbolic programming language -- Pluggability issues in the Multi Protocol. |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
English. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
| 9 (RLIN) |
941 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering. |
| 9 (RLIN) |
14736 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebra |
| General subdivision |
Data processing. |
| 9 (RLIN) |
14650 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence. |
| 9 (RLIN) |
1340 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algorithms. |
| 9 (RLIN) |
864 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebra |
| General subdivision |
Data processing. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00804890 |
| 9 (RLIN) |
14650 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algorithms. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00805020 |
| 9 (RLIN) |
864 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00817247 |
| 9 (RLIN) |
1340 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00872451 |
| 9 (RLIN) |
941 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst01124185 |
| 9 (RLIN) |
14736 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer Science. |
| Source of heading or term |
hilcc |
| 9 (RLIN) |
941 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Engineering & Applied Sciences. |
| Source of heading or term |
hilcc |
| 9 (RLIN) |
9023 |
| 655 #4 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 9 (RLIN) |
396 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Calmet, Jacques. |
| 9 (RLIN) |
16412 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Limongelli, Carla. |
| 9 (RLIN) |
47704 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783540616979 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
1128. |
| International Standard Serial Number |
0302-9743 |
| 9 (RLIN) |
47705 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-61697-7">https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-61697-7</a> |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |