Central Library catalog › Results of search for 'su:"Logic."'

Your search returned 790 results.

		Logic programming : proceedings of the Fourteenth International Conference on Logic Programming / edited by Lee Naish. by International Conference on Logic Programming (14th : 1997 : Leuven, Belgium) \| Naish, Lee, 1960- \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1997]Other title: ICLP '97.Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 1997 International Symposium / edited by Jan Ma�uszy�nski. by Ma�uszy�nski, J. (Jan), 1941- \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Association for Logic Programming \| International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.). Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1997]Other title: ILPS '97.Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming / edited by Michael Maher. by Maher, Michael, 1959- \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany). Material type: Book; Format: available online Publisher: Cambridge, Massachusetts ; MIT, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Other title: JICSLP '96 \| Joint International Conference and Symposium on Logic Programming \| Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming.Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 1999 International Conference on Logic Programming / edited by Danny De Schreye. by De Schreye, Danny \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Mass : MIT, 2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1999]Online access: Abstract with links to resource Availability: No items available
		Inductive logic programming : from machine learning to software engineering / Francesco Bergadano and Daniele Gunetti. by Bergadano, Francesco, 1963- \| Gunetti, Daniele \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 1995 international symposium / edited by John Lloyd. by Lloyd, John \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Association for Logic Programming \| International Logic Programming Symposium (1995). Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1995Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Other title: ILPS '95.Online access: Abstract with links to resource Availability: No items available
		Logic in games / Johan van Benthem. by Benthem, Johan van, 1949- \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts ; MIT Press, [2014], c2014Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2014]Online access: Abstract with links to resource Availability: No items available
		Reasoning about uncertainty / Joseph Y. Halpern. by Halpern, Joseph Y, 1953- [author.] \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Edition: Second edition.Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : The MIT Press, [2017]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2017]Online access: Abstract with links to resource Availability: No items available
		Computational models of referring : a study in cognitive science / Kees van Deemter. by Deemter, Kees van [author.] \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : The MIT Press, [2016]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2016]Online access: Abstract with links to resource Availability: No items available
		The Continued Exercise of Reason : Public Addresses by George Boole. by Dooley, Brendan [author.] \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge : MIT Press, 2018Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2018]Online access: Abstract with links to resource Availability: No items available
		Computational thinking / Peter J. Denning and Matti Tedre. by Denning, Peter J, 1942- [author.] \| Tedre, Matti [author.] \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge : MIT Press, 2019Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2019]Online access: Abstract with links to resource Availability: No items available
		The little typer / Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride. by Friedman, Daniel P [author.] \| Christiansen, David Thrane [author.] \| Bibby, Duane [illustrator.] \| Harper, Robert, 1957- \| McBride, Conor \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge : MIT Press, 2018Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2019]Online access: Abstract with links to resource Availability: No items available
		Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets / John Gregg.. by Gregg, John [author.] \| John Wiley & Sons [publisher.] \| IEEE Xplore (Online service) [distributor.]. Material type: Book; Format: available online ; Literary form: Not fiction Publisher: New York : IEEE Press, c1998Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1998]Online access: Abstract with links to resource Availability: No items available
		The essence of logic circuits / Stephen H. Unger. by Unger, Stephen H, 1931- \| John Wiley & Sons [publisher.] \| IEEE Xplore (Online service) [distributor.]. Edition: 2nd ed.Material type: Book; Format: available online Publisher: New York : Institute of Electrical and Electronic Engineers, c1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Online access: Abstract with links to resource Availability: No items available
		Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms / edited by Metin Akay. by Akay, Metin \| John Wiley & Sons [publisher.] \| IEEE Engineering in Medicine and Biology Society \| IEEE Xplore (Online service) [distributor.]. Material type: Book; Format: available online ; Literary form: Not fiction Publisher: New York : IEEE Press, c2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]Other title: Fuzzy logic, neural networks, and new algorithms.Online access: Abstract with links to resource Availability: No items available
		Nonlinear biomedical signal processing.. Volume 2, Dynamic analysis and modeling / edited by Metin Akay. by Akay, Metin \| John Wiley & Sons [publisher.] \| IEEE Engineering in Medicine and Biology Society \| IEEE Xplore (Online service) [distributor.]. Material type: Book; Format: available online Publisher: New York : IEEE Press, c2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]Other title: Dynamic analysis and modeling.Online access: Abstract with links to resource Availability: No items available
		High-performance system design : circuits and logic / edited by Vojin G. Oklobdzija. by Oklobdzija, Vojin G \| John Wiley & Sons [publisher.] \| IEEE Circuits and Systems Society \| IEEE Solid-State Circuits Society \| IEEE Xplore (Online service) [distributor.]. Material type: Book; Format: available online ; Literary form: Not fiction Publisher: New York : IEEE Press, c1999Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1999]Online access: Abstract with links to resource Availability: No items available
		Design of high-performance microprocessor circuits / Anantha Chandrakasan, William J. Bowhill, Frank Fox, [editors]. by Chandrakasan, Anantha P \| Fox, Frank, 1952- \| Bowhill, William J \| John Wiley & Sons [publisher.] \| IEEE Xplore (Online service) [distributor.]. Material type: Book; Format: available online ; Literary form: Not fiction Publisher: New York : IEEE Press, c2001Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]Online access: Abstract with links to resource Availability: No items available
		Advanced signal integrity for high-speed digital designs / Stephen H. Hall, Howard L. Heck. by Hall, Stephen H [author.] \| Heck, Howard L \| IEEE Xplore (Online Service) [distributor.] \| John Wiley & Sons [publisher.] \| ebrary, Inc. Material type: Book; Format: available online ; Literary form: Not fiction Publisher: Hoboken, New Jersey : John Wiley & Sons, 2009Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2009]Online access: Abstract with links to resource Availability: No items available
		Practical Problems in VLSI Physical Design Automation [electronic resource] / by Sung Kyu Lim. by Lim, Sung Kyu [author.] \| SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

		Logic programming : proceedings of the Fourteenth International Conference on Logic Programming / edited by Lee Naish. by International Conference on Logic Programming (14th : 1997 : Leuven, Belgium) \| Naish, Lee, 1960- \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1997]Other title: ICLP '97.Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 1997 International Symposium / edited by Jan Ma�uszy�nski. by Ma�uszy�nski, J. (Jan), 1941- \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Association for Logic Programming \| International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.). Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1997]Other title: ILPS '97.Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming / edited by Michael Maher. by Maher, Michael, 1959- \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany). Material type: Book; Format: available online Publisher: Cambridge, Massachusetts ; MIT, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Other title: JICSLP '96 \| Joint International Conference and Symposium on Logic Programming \| Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming.Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 1999 International Conference on Logic Programming / edited by Danny De Schreye. by De Schreye, Danny \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Mass : MIT, 2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1999]Online access: Abstract with links to resource Availability: No items available
		Inductive logic programming : from machine learning to software engineering / Francesco Bergadano and Daniele Gunetti. by Bergadano, Francesco, 1963- \| Gunetti, Daniele \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 1995 international symposium / edited by John Lloyd. by Lloyd, John \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Association for Logic Programming \| International Logic Programming Symposium (1995). Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1995Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Other title: ILPS '95.Online access: Abstract with links to resource Availability: No items available
		Logic in games / Johan van Benthem. by Benthem, Johan van, 1949- \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts ; MIT Press, [2014], c2014Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2014]Online access: Abstract with links to resource Availability: No items available
		Reasoning about uncertainty / Joseph Y. Halpern. by Halpern, Joseph Y, 1953- [author.] \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Edition: Second edition.Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : The MIT Press, [2017]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2017]Online access: Abstract with links to resource Availability: No items available
		Computational models of referring : a study in cognitive science / Kees van Deemter. by Deemter, Kees van [author.] \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : The MIT Press, [2016]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2016]Online access: Abstract with links to resource Availability: No items available
		The Continued Exercise of Reason : Public Addresses by George Boole. by Dooley, Brendan [author.] \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge : MIT Press, 2018Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2018]Online access: Abstract with links to resource Availability: No items available
		Computational thinking / Peter J. Denning and Matti Tedre. by Denning, Peter J, 1942- [author.] \| Tedre, Matti [author.] \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge : MIT Press, 2019Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2019]Online access: Abstract with links to resource Availability: No items available
		The little typer / Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride. by Friedman, Daniel P [author.] \| Christiansen, David Thrane [author.] \| Bibby, Duane [illustrator.] \| Harper, Robert, 1957- \| McBride, Conor \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge : MIT Press, 2018Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2019]Online access: Abstract with links to resource Availability: No items available
		Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets / John Gregg.. by Gregg, John [author.] \| John Wiley & Sons [publisher.] \| IEEE Xplore (Online service) [distributor.]. Material type: Book; Format: available online ; Literary form: Not fiction Publisher: New York : IEEE Press, c1998Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1998]Online access: Abstract with links to resource Availability: No items available
		The essence of logic circuits / Stephen H. Unger. by Unger, Stephen H, 1931- \| John Wiley & Sons [publisher.] \| IEEE Xplore (Online service) [distributor.]. Edition: 2nd ed.Material type: Book; Format: available online Publisher: New York : Institute of Electrical and Electronic Engineers, c1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Online access: Abstract with links to resource Availability: No items available
		Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms / edited by Metin Akay. by Akay, Metin \| John Wiley & Sons [publisher.] \| IEEE Engineering in Medicine and Biology Society \| IEEE Xplore (Online service) [distributor.]. Material type: Book; Format: available online ; Literary form: Not fiction Publisher: New York : IEEE Press, c2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]Other title: Fuzzy logic, neural networks, and new algorithms.Online access: Abstract with links to resource Availability: No items available
		Nonlinear biomedical signal processing.. Volume 2, Dynamic analysis and modeling / edited by Metin Akay. by Akay, Metin \| John Wiley & Sons [publisher.] \| IEEE Engineering in Medicine and Biology Society \| IEEE Xplore (Online service) [distributor.]. Material type: Book; Format: available online Publisher: New York : IEEE Press, c2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]Other title: Dynamic analysis and modeling.Online access: Abstract with links to resource Availability: No items available
		High-performance system design : circuits and logic / edited by Vojin G. Oklobdzija. by Oklobdzija, Vojin G \| John Wiley & Sons [publisher.] \| IEEE Circuits and Systems Society \| IEEE Solid-State Circuits Society \| IEEE Xplore (Online service) [distributor.]. Material type: Book; Format: available online ; Literary form: Not fiction Publisher: New York : IEEE Press, c1999Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1999]Online access: Abstract with links to resource Availability: No items available
		Design of high-performance microprocessor circuits / Anantha Chandrakasan, William J. Bowhill, Frank Fox, [editors]. by Chandrakasan, Anantha P \| Fox, Frank, 1952- \| Bowhill, William J \| John Wiley & Sons [publisher.] \| IEEE Xplore (Online service) [distributor.]. Material type: Book; Format: available online ; Literary form: Not fiction Publisher: New York : IEEE Press, c2001Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]Online access: Abstract with links to resource Availability: No items available
		Advanced signal integrity for high-speed digital designs / Stephen H. Hall, Howard L. Heck. by Hall, Stephen H [author.] \| Heck, Howard L \| IEEE Xplore (Online Service) [distributor.] \| John Wiley & Sons [publisher.] \| ebrary, Inc. Material type: Book; Format: available online ; Literary form: Not fiction Publisher: Hoboken, New Jersey : John Wiley & Sons, 2009Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2009]Online access: Abstract with links to resource Availability: No items available
		Practical Problems in VLSI Physical Design Automation [electronic resource] / by Sung Kyu Lim. by Lim, Sung Kyu [author.] \| SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Central Library

Refine your search

Availability

Authors

Item types

Series

Topics

Titles