Normal view MARC view ISBD view

Theory and Applicatons of Satisfiability Testing SAT2008 (Record no. 60896)

000 -LEADER
fixed length control field	00352nam a2200133Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	180804s9999 xx 000 0 und d
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	511.32but
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name	Hans kleine Buning xishun zhao
245 #0 - TITLE STATEMENT
Title	Theory and Applicatons of Satisfiability Testing SAT2008
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc	Germany
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher, distributor, etc	Springer
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Date of publication, distribution, etc	2008
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	Mathmatics Statistics
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type	Books

Holdings
Permanent Location	Date acquired	Date last seen	Price effective from	Koha item type	Current Location	Shelving location	Full call number
University of Sargodha-Central Library	08/04/2018	08/04/2018	08/04/2018	Books
	08/04/2018	08/04/2018	08/04/2018	Books		General Stacks
	08/04/2018	08/04/2018	08/04/2018	Books			511.32but
	08/04/2018	08/04/2018	08/04/2018	Books
	08/04/2018	08/04/2018	08/04/2018	Books	University of Sargodha-Central Library

Wazir Agha Library, UOS