LOGIC IN COMPUTER SCIENCE: MODELING AND REASONING (Record no. 70416)

MARC details
000 -LEADER
fixed length control field 00398nam a2200145Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 211209s2012 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 978052167089
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1015113 HUT/RYA
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name HUTH, MICHAEL A
245 ## - TITLE STATEMENT
Title LOGIC IN COMPUTER SCIENCE: MODELING AND REASONING
250 ## - EDITION STATEMENT
Edition statement 2 ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. NEW DELHI
Name of publisher, distributor, etc. CAMBRIDGE UNIVERSITY PRESS
Date of publication, distribution, etc. 2012
300 ## - PHYSICAL DESCRIPTION
Extent IX, 427
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
        M S Ramaiah Institute of Technology M S Ramaiah Institute of Technology   12/31/2021   005.1015113 HUT/RYA 70416 12/31/2021 12/31/2021 Books