Cover Image

Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /

Spine title: AISMC-3 : artificial intelligence and symbolic mathematical computation.

Bibliographic Details
Corporate Authors: AISMC (Conference) Steyr, Austria), SpringerLink (Online service)
Other Authors: Calmet, Jacques, Campbell, J. A., 1940-, Pfalzgraf, Jochen
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1996]
Series:Lecture notes in computer science ; 1138.
Subjects:
Artificial intelligence > Congresses.
Logic, Symbolic and mathematical > Congresses.
raisonnement.
calcul formel.
démonstration théorème.
modèle base connaissance.
mathématique symbolique.
intelligence artificielle.
Informatique > Mathématiques > Congrès.
Intelligence artificielle > Congrès.
Artificial intelligence.
Logic, Symbolic and mathematical.
Kunstmatige intelligentie.
Symbolische logica.
Logique symbolique et mathématique > Congrès.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Summary:Spine title: AISMC-3 : artificial intelligence and symbolic mathematical computation.
Item Description:Electronic resource.
Physical Description:1 online resource (viii, 379 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:3540617329 (alk. paper)
9783540617327 (alk. paper)
ISSN:0302-9743 ;