PKK Library catalog › Results of search for 'au:"Manna, Zohar."'

Refine your search

Availability
- Limit to currently available items.
Authors
- Bradley, Aaron R. (1)
- Manna, Zohar (3)
- Manna, Zohar. (1)
- Manna,Zohar (1)
- Waldinger, Richard (3)
Holding libraries
- PK Kelkar Library, IIT Kanpur (5)
Home libraries
- PK Kelkar Library, IIT Kanpur (5)
Item types
- Books (4)
- E books (1)
Series
- Addison-Wesley Series In Computer Science (2)
- Artificial Intelligence Series (1)
Topics
- Artificial intelligence. (1)
- Computer science. (1)
- Electronic Digital Computers -- Programming (2)
- Logic, Symbolic And Mathematical (2)
- Programming (Electronic Digital Computers) (2)
- Show more

	1.	MATHEMATICAL THEORY OF COMPUTATION by Manna,Zohar. Material type: Book; Format: print ; Literary form: not fiction Description: 448.Publisher: Mcgraw-Hill Kogakusha, Tokyo 1974Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 M315] (1). Add to cart (remove)
	2.	STUDIES IN AUTOMATIC PROGRAMMING LOGIC by Manna, Zohar \| Waldinger, Richard. Material type: Book; Format: print ; Literary form: not fiction Description: viii,192.Publisher: New York North-Holland 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 M315s] (1). Place hold Add to cart (remove)
	3.	THE LOGICAL BASIS FOR COMPUTER PROGRAMMING by Manna, Zohar \| Waldinger, Richard. Material type: Book; Format: print ; Literary form: not fiction Description: 2 v.Publisher: Reading, Mass. Addison-Wesley 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 M315L] (1). Place hold Add to cart (remove)
	4.	THE LOGICAL BASIS FOR COMPUTER PROGRAMMING by Manna, Zohar \| Waldinger, Richard. Material type: Book; Format: print ; Literary form: not fiction Description: 2 v.Publisher: Reading, Mass. Addison-Wesley 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 M315L] (1). Place hold Add to cart (remove)
	5.	The Calculus of Computation : Decision Procedures with Applications to Verification / : [electronic resource] : by Bradley, Aaron R [author.] \| Manna, Zohar [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 366 p. 60 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (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