Artificial Intelligence and Symbolic Mathematical Computing : (Record no. 382920)

000 -LEADER
fixed length control field 04881cam a2200697Mi 4500
001 - CONTROL NUMBER
control field ocn827358453
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200626113641.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 100729s1993 gw o 000 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency KIJ
Language of cataloging eng
Description conventions pn
Transcribing agency KIJ
Modifying agency OCLCO
-- GW5XE
-- OCLCF
-- OCLCO
-- HDC
-- UV0
-- OCLCQ
-- LIP
-- UAB
-- ESU
-- OCLCQ
-- SHS
-- TFW
-- LEAUB
-- OCLCQ
-- OL$
-- OCLCQ
019 ## -
-- 793077400
-- 990408231
-- 1044511858
-- 1119485640
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540480631
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540480633
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540573224
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540573227
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783540573227
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3540480633
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/3-540-57322-4
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000051695282
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000057645637
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 14996100
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15301750
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)827358453
Canceled/invalid control number (OCoLC)793077400
-- (OCoLC)990408231
-- (OCoLC)1044511858
-- (OCoLC)1119485640
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number Q334
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
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.3
Edition number 20
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Calmet, Jacques.
9 (RLIN) 16412
245 10 - TITLE STATEMENT
Title Artificial Intelligence and Symbolic Mathematical Computing :
Remainder of title International Conference AISMC-1 Karlsruhe, Germany, August 3-6, 1992 Proceedings /
Statement of responsibility, etc. edited by Jacques Calmet, John A. Campbell.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin, Heidelberg :
Name of publisher, distributor, etc. Springer-Verlag,
Date of publication, distribution, etc. 1993.
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 737
490 ## - SERIES STATEMENT
Series statement Serienbezeichnung
520 ## - SUMMARY, ETC.
Summary, etc. This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence and Symbolic Mathematical Computations)conference, held in Karlsruhe, August 3-6, 1992. This was the first conference to be devoted to such a topic after a long period when SMC made no appearance in AI conferences, though it used to be welcome in the early days of AI. Some conferences were held recently on mathematics and AI, but none was directly comparable in scope to this conference. Because of the novelty of the domain, authors were given longer allocations of time than usual in which to present their work. As a result, extended and fruitful discussions followed each paper. The introductory chapter in this book, which was not presented during the conference, reflects in many ways the flavor of these discussions and aims to set out the framework for future activities in this domain of research. In addition to the introduction, the volume contains 20 papers.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Artificial intelligence and symbolic mathematical computations -- Qualitative modeling of physical systems in AI research -- On the topological structure of configuration spaces -- A symbolic approach to interval constraint problems -- An algebraic approach to knowledge-based modeling -- Intelligent user interfaces for symbolic and numeric computation -- The progress towards an intelligent assistant -- A discussion paper -- On mathematical modeling in robotics -- Gröbner bases: Strategies and applications -- Heuristic search strategies for Cylindrical Algebraic Decomposition -- Unified domains and abstract computational structures -- Completion and invariant theory in symbolic computation and artificial intelligence -- A type-coercion problem in computer algebra -- Algorithmic development of power series -- A cooperative approach to query processing: Integrating historical, structural, and behavioral knowledge sources -- A desk-top sequent calculus machine -- Gentzen-style characterizations of Negation as Failure -- A new translation from deduction into integer programming -- Reasoning about time -- Learning qualitative physics reasoning from regime analysis -- Qualitative mathematical modelling of genetic algorithms.
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 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 Numerical analysis.
9 (RLIN) 908
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Combinatorial analysis.
9 (RLIN) 5330
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 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 Combinatorial analysis.
Source of heading or term fast
Authority record control number (OCoLC)fst00868961
9 (RLIN) 5330
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 Numerical analysis.
Source of heading or term fast
Authority record control number (OCoLC)fst01041273
9 (RLIN) 908
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 Campbell, John A.
9 (RLIN) 47634
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783540573227
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 737.
International Standard Serial Number 0302-9743
9 (RLIN) 47635
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-57322-4">https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-57322-4</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