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)
- Dalen, Dirk Van (4)
- Russell, Bertr (3)
- Russell, Bertrand (5)
- Whitehead, Alfred North (4)
- Show more
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
- Aggregates (8)
- Algebra. (5)
- Algorithms. (7)
- Computer science (22)
- Computer science. (7)
- Computer Science. (7)
- Computer software. (7)
- Logic (11)
- Logic, Symbolic And Mathematical (178)
- Logic, Symbolic and mathematical (42)
- Logic, Symbolic and mathematical. (5)
- Logic,Symbolic And Mathematical (7)
- Mathematical Software. (7)
- Mathematics (13)
- Mathematics -- Philosophy (7)
- Mathematics. (9)
- Mathematics. Philosophy (14)
- Probabilities (8)
- Set Theory (12)
- Symbolic and Algebraic Manipulation. (16)

	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