Automated Inequality Proving and Discovering

By:

Xia Bican Et Al

Material type:

TextLanguage: English Publication details: World Scientific; WSPC; 2016ISBN:

9789814759120

Subject(s):

Mathematics

Other classification:

Online resources:

Click here to access online

Item type:

eBooks

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Cover image	Item type	Current library	Home library	Collection	Shelving location	Call number	Materials specified	Vol info	URL	Copy number	Status	Notes	Date due	Barcode	Item holds	Item hold queue priority	Course reserves
	eBooks	Central Library	Central Library								Available			CL1870587

There are no comments on this title.

to post a comment.

Back to results

17551 Chalker raah bnate hum
by Hatern Mailess
17552 Challanges and innovations in education
by Chaurasia G
17553 Challenge
by Ray Nisith Ranjan Ed
17554 Challenge
by Ray Nitish Ranjan
17555 Challenge
by Ray Nisith Ranjan
17556 Challenge and response : Towardsa new education policy and beyond
by Mitra C R and others
17557 Challenge and response : Towardsa new education policy and beyond
by Mitra C R and others
17558 Challenge and response : Towardsa new education policy and beyond
by Mitra C R and others
17559 Challenge and response: Towards a new education policy and beyond
by Mitra C R (et.al)
17560 Challenge and response: Towards a new eduction policy and beyond
by Mitra C R
17561 Challenge and stagnation
by Sarkar Chanchal
17562 Challenge and stagnation: The indian mass media
by Sarkar Chanchal Au.
17563 Challenge in Kashmir
by Bose Sumantra
17564 Challenge in Kashmir
by Bose Sumantra
17565 Challenge of 2014 and beyond the new indian middle class
by Varma Pavan K
17566 Challenge of change
17567 Challenge of change: Industrial relations in Indian industry
by Venkataratnam C S
17568 Challenge of economic management
by Ramachandran K.s.
17569 Challenge of economic management.
by Ramachandran K S
17570 Challenge of education
17571 Challenge of education
17572 Challenge of education
17573 Challenge of education
17574 Challenge of employment in India: informal economy perspective; Challenge of employment in India
by Sengupta A K
17575 Challenge of fiscal management
by Ramchandran K S
17576 Challenge of inclusive development in rural Bihar
by Rodgers Gerry
17577 Challenge of indian management
by Virmani B V
17578 Challenge of labour
by Burgess K
17579 Challenge of our cities
by Jagmohan
17580 The Challenge of Our Cities
by Jagmohan
17581 Challenge of poverty
by Joshi Nandini
17582 Challenge of poverty
by Joshi Nandini
17583 Challenge of poverty
by Joshi Nandini
17584 Challenge of public relations
by Sardana CK
17585 Challenge of public relations
by Sardana C K
17586 Challenge of public relations
by Sardana C K
17587 Challenge of sustainable development: Indian dynamics
by Sengupta R
17588 Challenge of the ballance
by Agarwal Anil Ed.
17589 Challenge of the ballance
by Agarwal Anil Ed.
17590 Challenge of the twenty first century
17591 Challenger sale
by Adamson Brent
17592 Challenges and innovations in education
by Chaurasia G.
17593 Challenges and policy options
17594 Challenges before library and information science in new millennium
by Chopra Y L Ed
17595 Challenges before the elderly: An Indian scanario
17596 Challenges before the nation
by Mukherjee P
17597 Challenges Before the Nation
by Mukherjee, Pranab
17598 Challenges for a mega city
by Jolly U.S
17599 Challenges for South Asian resources and information services
by Chilana Rajwant Singh
17600 Challenges in educational evaluation
by Srivastava H S