PKK Library catalog › Results of search for 'su:{Symbolic And Mathematical}'

Refine your search

Availability
- Limit to currently available items.
Authors
- Bach, Emmon W. (4)
- Cohen, Paul J. (2)
- Dalen, Dirk Van (4)
- Davio, Marc (2)
- Enns, Richard H. (2)
- Epstein,Richard L. (2)
- Felscher,Walter (3)
- Fisher, Sir Ronald Aylmer (3)
- Gabriel, Gottfried (2)
- Kroger, Fred (2)
- Mendelson, Elliott (3)
- Rosser,J. Barkley (2)
- Russell (3)
- Russell, Bertr (3)
- Russell, Bertrand (5)
- Stoll, Robert Roth (3)
- Thayse, Andre (2)
- Whitehead, Alfred North (4)
- Wittgenstein, Ludwig (3)
- Zaring, Wilson M. (2)
Holding libraries
- PK Kelkar Library, IIT Kanpur (305)
Home libraries
- PK Kelkar Library, IIT Kanpur (304)
Item types
- Books (281)
- E books (19)
- EBK (2)
- Text Books (4)
- Withdrawn (3)
- Show more
Series
Topics
- Computer science (22)
- Logic, Symbolic And Mathematical (178)
- Logic, Symbolic and mathematical (42)
- Mathematics. Philosophy (14)
- Symbolic and Algebraic Manipulation. (16)
- Show more

	301.	Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning by Coecke, Bob \| Kissinger, Aleks. Description: xvii, 827p.Publisher: Cambridge Cambridge University Press 2017Availability: No items available Checked out (1). Place hold Add to cart (remove)
	302.	An introduction to non-classical logic [2nd ed.] : from If to Is by Priest, Graham. Edition: 2nd ed. Description: xxxii, 613p.Publisher: Cambridge Cambridge University Press 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P933i2 cop.2] (4). Checked out (1). Place hold Add to cart (remove)
	303.	Designing asynchronous circuits using NULL convention logic (NCL) : [electronic resource] / by Smith, Scott C \| Di, Jia. Material type: Book; Format: available online ; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (x, 86 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2009Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	304.	Chaotic maps : dynamics, fractals, and rapid fluctuations / : [electronic resource] : by Chen, Goong 1950- \| Huang, Yu 1963-. Material type: Book; Format: available online ; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (xiii, 227 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2011Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	305.	Decision Procedures [2nd ed.] [Perpetual] : an algorithmic point of view by Kroening, Daniel \| Strichman, Ofer. Edition: 2nd ed. Description: xxi, 356p.Publisher: Berlin Springer-Verlag 2016Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.542 K913d2] (1). Place hold Add to cart (remove)

PKK Library

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Refine your search

Authors

Item types

Series

Topics