Central Library , Vidyasagar University catalog › Results of search for 'su:{MATHEMATICAL LOGIC}'

Online Public Access Catalogue (OPAC)
Central Library - Vidyasagar University

“Education does not only mean learning, reading, writing, and arithmetic,

it should provide a comprehensive knowledge”

-Ishwarchandra Vidyasagar

Advanced search
Authority search
Recent comments
Tag cloud

VIDYASAGAR UNIVERSITY
Rangamati, Midnapore,

West Bengal 721102,Phone- 03222 - 276556 (Extn - 444)

Email: librarian@vidyasagar.ac.in
Website: http://vidyasagar.ac.in/

Get In Touch

CUSTOMIZED BY- AVIOR TECHNOLOGIES PVT. LTD.

	1.	No cover image available First-order logic and automated theorem proving / Melvin Fitting. by Fitting, Melvin. Material type: Text; Format: print regular print ; Audience: General; Publisher: New York : Springer-Verlag , 1990Availability: Items available for reference: Central Library [Call number: B66 BAN/F] (1). Add to your cart (remove)
	2.	No cover image available An introduction to non-classical logic / by Graham Priest. by Priest, Graham. Edition: / .Material type: Text; Format: print regular print ; Audience: General; Publisher: Cambridge : Cambridge University Press , 2001Availability: Items available for loan: Central Library [Call number: 511.3 PRI/A] (1). Place hold Add to your cart (remove)
	3.	Computational intelligence and feature selection : rough and fuzzy approaches / by Richard Jensen. by Jensen, Richard. Edition: / .Material type: Text; Format: print regular print ; Audience: General; Publisher: England : John Wiley & Sons , 2008Availability: Items available for loan: Central Library [Call number: 511.322 JEN/C] (1). Place hold Add to your cart (remove)
	4.	Introduction to automata theory,languages,and computation / by Johne E. Hopcroft. by Hopcroft, Johne E. Edition: 3rd ed. / Material type: Text; Format: print ; Audience: General; Publisher: Delhi : Pearson education , 2011Availability: Items available for loan: Central Library [Call number: 511.3 HOP/I] (1). Items available for reference: Central Library [Call number: 511.3 HOP/I] (2). Place hold Add to your cart (remove)
	5.	No cover image available Introduction to Automata theory,languages and computation / John E. Hopcroft, Rajeev Motwani and Jeffrey D. Ullman. by Hopcroft, John E \| Motwani, Rajeev [joint author] \| Ullman, Jeffrey D [joint author]. Edition: 3ed ed.Material type: Text; Format: print regular print ; Nature of contents: Publisher: Chemmai: Pearson Education Asia, 2008 ( reprinted 2014 )Availability: Items available for loan: Central Library [Call number: 511.3 HOP/I] (1). Items available for reference: Central Library [Call number: 511.3 HOP/I] (1). Place hold Add to your cart (remove)
	6.	Introduction to languages and the theory of computation / by John C. Martin by Martin, John C. Edition: 3rd ed.Material type: Text; Literary form: Not fiction ; Audience: General; Publisher: New Delhi : Tata McGraw Hill Education , 2003Availability: Items available for loan: Central Library [Call number: 511.3 MAR/I] (1). Place hold Add to your cart (remove)
	7.	No cover image available A comprehensive study on lattice under uncertain environments / researched by Susanta Bera; guided by Sankar Kumar Roy. by Bera, Susanta [researcher] \| Roy, Sankar Kumar [guide] \| Vidyasagar University, Department of Applied Mathematics with Oceanology and Computer Programming [awarding university]. Material type: Text; Format: regular print ; Literary form: Not fiction ; Audience: General; Publisher: Midnapore: Vidyasagar University, 2018Availability: Items available for reference: Central Library [Call number: 511.33 BER] (1). Add to your cart (remove)

Central Library , Vidyasagar University

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics