Integrating symbolic mathematical computation and artificial intelligence : (Record no. 382994)

000 -LEADER
fixed length control field 04809cam a2200673Mi 4500
001 - CONTROL NUMBER
control field ocn827359592
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200626113731.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 100729s1995 gw o 100 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency KIJ
Language of cataloging eng
Description conventions pn
Transcribing agency KIJ
Modifying agency OCLCO
-- VT2
-- GW5XE
-- OCLCF
-- OCLCQ
-- OCLCO
-- OCLCQ
-- OCL
-- OCLCO
-- OCLCQ
-- SHS
-- UAB
-- ESU
-- OCLCQ
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540495338
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540495339
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783540601562
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/3-540-60156-2
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000057645660
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15565595
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)827359592
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.M35
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYAM
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM018000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code MAT002000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.3
Edition number 20
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element AISMC (Conference)
Number of part/section/meeting (2nd :
Date of meeting 1994 :
Location of meeting Cambridge, England)
9 (RLIN) 47837
245 10 - TITLE STATEMENT
Title Integrating symbolic mathematical computation and artificial intelligence :
Remainder of title Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3-5, 1994, Selected papers /
Statement of responsibility, etc. edited by Jacques Calmet, John A. Campbell.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Heidelberg :
Name of publisher, distributor, etc. Springer-Verlag,
Date of publication, distribution, etc. ©1995.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource
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 958
490 ## - SERIES STATEMENT
Series statement Serienbezeichnung
520 ## - SUMMARY, ETC.
Summary, etc. This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994. The 19 papers included give clear evidence that now, after a quite long period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together again as an area of fruitful interdisciplinary activities. This book explores the interaction between mathematical computation and clears the ground for future concentration on topics that can further unify the field.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Interactive theorem proving and computer algebra -- A practical algorithm for geometric theorem proving -- Combining theorem proving and symbolic mathematical computing -- Tools for solving problems in the scope of algebraic programming -- Planning a proof of the intermediate value theorem -- A general technique for automatically optimizing programs through the use of proof plans -- Datalog and TwoGroups and C++ -- Linear logic and real closed fields: A way to handle situations dynamically -- A proof environment for arithmetic with the omega rule -- Using commutativity properties for controlling coercions -- Theories = signatures + propositions used as types -- The ideal structure of Gröbner base computations -- Modeling cooperating agents scenarios by deductive planning methods and logical fiberings -- Propagation of mathematical constraints in subdefinite models -- Combining computer algebra and rule based reasoning -- Algebraic specification of empirical inductive learning methods based on rough sets and matroid theory -- Subsymbolic processing using adaptive algorithms -- An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus -- Subdefinite computations and symbolic transformations in the uniCalc solver.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science
General subdivision Mathematics
Form subdivision Congresses.
9 (RLIN) 15039
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Artificial intelligence
Form subdivision Congresses.
9 (RLIN) 47838
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 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 Computer science
General subdivision Mathematics.
Source of heading or term fast
Authority record control number (OCoLC)fst00872460
9 (RLIN) 2386
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
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term fast
Authority record control number (OCoLC)fst01423772
9 (RLIN) 6065
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Calmet, Jacques.
9 (RLIN) 16412
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Campbell, J. A.,
Dates associated with a name 1940-
9 (RLIN) 33718
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading AISMC-2 (1994 : Cambridge, England).
Title Integrating symbolic mathematical computation and artificial intelligence.
Place, publisher, and date of publication Berlin ; New York : Springer-Verlag, ©1995
International Standard Book Number 3540601562
Record control number (DLC) 95024613
-- (OCoLC)32893775
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 958.
International Standard Serial Number 0302-9743
9 (RLIN) 47839
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-60156-2">https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-60156-2</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