Skip to content
CAVAL Home
  • Start Over
  • Your Account
  • Log Out
  • Login
  • Language
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
Advanced
  • Search
  • Artificial intelligence and sy...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Save to List
  • Permanent link
Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /

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

Saved in:
Bibliographic Details
Corporate Author: AISMC-3, Steyr, Austria
Other Authors: Pfalzgraf, Jochen, Calmet, Jacques, Campbell, J. A., 1940-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, c1996.
Series:Lecture notes in computer science, 1138.
Subjects:
Artificial intelligence > Congresses.
Logic, Symbolic and mathematical > Congresses.
  • Holdings
  • Description
  • Staff View

CARM 1 Store

Holdings details from CARM 1 Store
Call Number: A2:AL21B0 B05660
Copy 1 Available  Place a Hold

Similar Items

  • Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings /
    Published: (1993)
  • Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30-October 3, 1996, proceedings /
    Published: (1996)
  • Logics in artificial intelligence : European Workshop JELIA '94, York, UK, September 5-8, 1994 : proceedings /
    Published: (1994)
  • Artificial intelligence and its applications /
    Published: (1986)
  • Progress in artificial intelligence : 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995 : proceedings /
    Published: (1995)
  • Home
  • About Us
    • Contact Us
    • News
    • Governance
    • Photo Gallery
  • Solutions
    • FOLIO + ReShare
    • Storage and Archives
    • Shelf-Ready Services
    • Cataloguing and Metadata
    • Language Resources
    • Digital Platforms
  • Member Services
    • Member Benefits
    • Our Members
    • Shared Collection
    • Reciprocal Borrowing
    • Mentoring Program
    • CAVAL card

Contact Us

4 Park Drive

Bundoora, Victoria, 3083

Australia

T +61 3 9450 5500

Email: caval@caval.edu.au

Twitter Facebook LinkedIn

  • Privacy and Disclaimer
  • Site Map