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)
Help
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
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.