PKK Library catalog › Results of search for 'su:{Logic -- Computer}'

Refine your search

Availability
- Limit to currently available items.
Authors
- Berti-Équille, Laure., (1)
- Borge-Holthoefer, Javier., (1)
- Natarajan, Sriraam., (1)
- Poole, David L. (1)
- Raedt, Luc de, (1)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (5)
Home libraries
- PK Kelkar Library, IIT Kanpur (5)
Item types
- Books (2)
- E books (3)
- Written-off (1)
Series
Topics
- Computer algorithms. (1)
- Databases (1)
- Logic (1)
- Logic -- Computer (1)
- Verification (Logic) (1)
- Show more

	1.	Computer Logic : the functional design of digital computers. by Flores, Ivan. Material type: Book; Format: print ; Literary form: not fiction Description: xii, 458p.Publisher: London Prentice-Hall Inc. 1960Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.7834 F663C] (2). Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 510.7834 F663C] (2). Place hold Add to cart (remove)
	2.	Mathematical logic for computer science by Zhonngwan, Lu. Material type: Book; Format: print ; Literary form: not fiction Description: ix, 248p.Publisher: Singapore World Scientific 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6 Z45m] (1). Place hold Add to cart (remove)
	3.	Recognizing textual entailment : models and applications / : [electronic resource] : by Dagan, Ido. Material type: Book; Format: available online ; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (xx, 200 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2013Online access: Abstract with links to resource \| Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	4.	Veracity of data : : from truth discovery computation algorithms to models of misinformation dynamics / by Berti-Équille, Laure [author.] \| Borge-Holthoefer, Javier [author.]. Material type: Book; Format: available online ; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xiii, 141 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2016.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	5.	Statistical relational artificial intelligence : : logic, probability, and computation / by Raedt, Luc de 1964-, [author.] \| Kersting, Kristian [author.] \| Natarajan, Sriraam [author.] \| Poole, David L. (David Lynton) 1958-, [author.]. Material type: Book; Format: available online ; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xiv, 175 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2016.Online access: Abstract with links to resource 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