Design and Implementation of Symbolic Computation Systems : (Record no. 382945)

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
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Date last seen Price effective from Koha item type
  Not Lost     EBook e-Library e-Library 2020-06-26 2020-06-26 2020-06-26 eBook

Powered by Koha