Image of Automated Reasoning Series, Automated Development of Fundamental Mathematical Theories

Text

Automated Reasoning Series, Automated Development of Fundamental Mathematical Theories

Penilaian

0,0

dari 5
Penilaian anda saat ini :  

Description Not Available

Availability
Inventory Code Barcode Call Number Location Status
9401002440B09502S511.3 Qua a 1992Central Library (CIRCULATION BKT)Available
9401002439B09592S511.3 Qua a 1992Central Library (CIRCULATION BKT)Available
Detail Information
Series Title
Automated reasoning series : v. 2
Call Number
511.3 Qua a
Publisher
The Netherlands : Kluwer Academic Publishers.,
Collation
x, 269 p. : 25 cm
Language
English
ISBN/ISSN
0-7923-2021-2
Classification
511.3
Content Type
Text
Media Type
unmediated
Carrier Type
other (unmediated)
Edition
-
Subject(s)
Artificial intelligence
Automatic theorem proving
Specific Detail Info
-
Statement of Responsibility
Other version/related

No other version available

File Attachment
Comments
You must be logged in to post a comment