• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

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

پدید آورنده
Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, eds

موضوع
Artificial intelligence - Congresses , Logic, Symbolic and mathematical - Congresses

رده
Q
334
.
A766
1996

کتابخانه
Central Library of Amirkabir University of Technology

محل استقرار
استان: Tehran ـ شهر: Tehran

Central Library of Amirkabir University of Technology

تماس با کتابخانه : ۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)

H

TITLE AND STATEMENT OF RESPONSIBILITY

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

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
1996

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
viii, 379 p

SERIES

Series Title
Lecture notes in computer science, 1138

GENERAL NOTES

Text of Note
"Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation )AISMC-3(, held in Steyr )Austria(, September 23-25, 1996"--Foreword
Text of Note
Includes bibliographical references and index

TOPICAL NAME USED AS SUBJECT

Entry Element
Artificial intelligence - Congresses
Entry Element
Logic, Symbolic and mathematical - Congresses

LIBRARY OF CONGRESS CLASSIFICATION

Class number
Q
Book number
334
Classification Record Number
.
A766
1996

PERSONAL NAME - PRIMARY RESPONSIBILITY

Relator Code
TI
Entry Element
Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, eds

LOCATION AND CALL NUMBER

Shelving Form of Title, Author, Author/Title
Englis

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival