English
Türkçe
NEU GRAND LIBRARY
Opening Hours: Monday-Saturday, 08:00-20:00 |
E-mail: library@neu.edu.tr
You are not logged in
Show Basket
Home
Advanced Search
Back
Print
Add to Basket
Brief display
MARC Display
Reserve
Automated reasoning with Otter / (Kalman John Arnold)
Bibliographical information (record 132551)
Automated reasoning with Otter /
Author:
Kalman John Arnold
Search Author in Amazon Books
Publisher:
Rinton Press,
ISBN:
1589490045
Edition:
2001.
Classification:
QA76.9.A96
Dewey:
006.3/33
Detailed notes
- Includes index.
Related links
-
Automatic theorem proving
-
Artificial intelligence
-
Computer programming
Items (2)
Barcode
Status
Library
Section
4016017711
Item available
NEU Grand Library2nd Floor (QA76.9.A96 K35 2001)
General Collection
2665276347
Item available
NEU Grand Library2nd Floor (QA76.9.A96 K35 2001)
General Collection
NEAR EAST UNIVERSITY GRAND LIBRARY +90 (392) 223 64 64 Ext:5536. Near East Boulevard, Nicosia, TRNC
This software is developed by
NEU Library
and it is based on Koha OSS
conforms to MARC21 library data transfer rules.