Skip to content
Texas A&M University Libraries
  • MyLibrary
  • Help

Libraries Catalog

Advanced
  • Integrating symbolic mathemati...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Cover Image

Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers /

Bibliographic Details
Corporate Authors: AISMC (Conference) Cambridge, England), SpringerLink (Online service)
Other Authors: Calmet, Jacques, Campbell, J. A., 1940-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, [1995]
Series:Lecture notes in computer science ; 958.
Subjects:
Computer science > Mathematics > Congresses.
Artificial intelligence > Congresses.
démonstration théorème.
modélisation mathématique.
modèle base connaissance.
mathématique symbolique.
intelligence artificielle.
Informatique > Mathématiques > Congrès.
Intelligence artificielle > Congrès.
Artificial intelligence.
Computer science > Mathematics.
Symbolische logica.
Computerwiskunde.
Inteligencia Artificial (Computacao)
Computeralgebra.
Kongre€.
Künstliche Intelligenz.
Electronic books.
Conference proceedings.
Cambridge (1994)
Electronic resources (Books)
Online Access:Connect to the full text of this electronic book
  • Holdings
  • Description
  • Table of Contents
  • Similar Items
  • Staff View

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.M35 I567 1995
 
Call Number Status Get It
QA76.9.M35 I567 1995 Available
  • howdy.tamu.edu
  • Off-Campus Access
  • Texas A&M University
  • Site Policies
  • Accessibility
  • Texas CREWS
  • Comments
  • Services Status
Loading...