Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-44 of 44 results
Logics for databases and information systems / edited by Jan Chomicki and Gunter Saake.
- Text
- Boston : Kluwer Academic Publishers, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Book/text JSE 98-764 Offsite Solving higher-order equations : from logic to programming / Christian Prehofer.
- Text
- Boston : Birkhauser, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 98-924 Offsite Computational logic / edited by Ulrich Berger, Helmut Schwichtenberg.
- Text
- Berlin ; New York : Springer, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Book/text JSE 99-1375 Offsite Software blueprints : lightweight uses of logic in conceptual modelling / David Robertson and Jaume Agusti.
- Text
- New York : ACM Press ; Harlow, England ; Reading, Mass. : Addison-Wesley, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 99-1877 Offsite Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures / Jouko Väänänen, (ed.).
- Text
- Berlin ; New York : Springer, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 00-456 Offsite Challenges for action theories / Michael Thielscher.
- Text
- Berlin ; New York : Springer, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Book/text JSE 00-1306 Offsite Logic-based artificial intelligence / edited by Jack Minker.
- Text
- Boston : Kluwer Academic Publishers, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 01-164 Offsite Learning language in logic / James Cussens, Sašo Džeroski, (eds.).
- Text
- Berlin ; New York : Springer, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 01-903 Offsite Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.
- Text
- Berlin ; New York : Springer, c2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Book/text JSE 02-1013 Offsite A lexical analogy to feature matching and pose estimation [microform] / John Horst.
- Text
- Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, [2002]
- 2002
Program development in computational logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kung-Kiu Lau (eds.).
- Text
- Berlin ; New York : Springer, 2004.
- 2004
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3049Item details Format Call Number Item Location Book/text JSE 04-1350 Offsite Compiled labelled deductive systems : a uniform presentation of non-classical logics / Krysia Broda ... [et al.].
- Text
- Baldock, Hertfordshire, England : Research Studies Press ; Philadelphia, PA : Institute of Physics Pub. ; Williston, VT : Distribution in North America, AIDC, c2004.
- 2004
- 1 Item
Available Online
http://www.loc.gov/catdir/toc/ecip0416/2004005941.htmlItem details Format Call Number Item Location Book/text JSE 05-1306 Offsite The logician and the engineer [electronic resource] : how George Boole and Claude Shannon created the information age / Paul J. Nahin.
- Text
- Princeton : Princeton University Press, [2013]
- 2013-2013
- 2 Resources
Available Online
See All Available Online Resources
Bots and beasts : what makes machines, animals, and people smart? / Paul Thagard.
- Text
- Cambridge, Massachusetts : The MIT Press, [2021]
- 2021
- 1 Resource
Available Online
https://i.ezproxy.nypl.org/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=2731762Solving higher-order equations : from logic to programming / Christian Prehofer.
- Text
- Boston : Birkhauser, [1998], ©1998.
- 1998-1998
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 P74 1998 Off-site Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright.
- Text
- New York : Springer, [1998], ©1998.
- 1998-1998
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .B28 1998 Off-site Logical foundations for cognitive agents : contributions in honor of Ray Reiter / Hector J. Levesque, Fiora Pirri (eds.).
- Text
- Berlin ; New York : Springer, [1999], ©1999.
- 1999-1999
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 L63 1999 Off-site Software blueprints : lightweight uses of logic in conceptual modelling / David Robertson and Jaume Agustí.
- Text
- New York : ACM Press ; Harlow, England ; Reading, Mass. : Addison-Wesley, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 R635 1999 Off-site Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 : Aix-en-Provence, France, August 1997 : revised lectures / Jouko Väänänen, (ed.).
- Text
- Berlin ; New York : Springer Verlag, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA76.9.M35 E97 1997 Off-site Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
- Text
- Cambridge, U.K. ; New York : Cambridge University Press, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 H88 2000 Off-site Challenges for action theories / Michael Thielscher.
- Text
- New York : Springer, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 T48 2000 Off-site Learning language in logic / James Cussens, Sašo Džeroski, (eds.).
- Text
- Berlin ; New York : Springer, [2000], ©2000.
- 2000-2000
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 L42 2000 Off-site Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.
- Text
- Cambridge, Mass. : MIT Press, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 H37 2000 Off-site Logic-based artificial intelligence / edited by Jack Minker.
- Text
- Boston : Kluwer Academic Publishers, [2000], ©2000.
- 2000-2000
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 L62 2000 Off-site Modal and temporal properties of processes / Colin Stirling.
- Text
- New York : Springer, [2001], ©2001.
- 2001-2001
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 S75 2001 Off-site Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow ... [and others].
- Text
- Berlin ; New York : Springer, 2002.
- 2002
- 1 Item
Available Online
http://link.springer-ny.com/link/service/series/0558/tocs/t2283.htmItem details Format Call Number Item Location Book/Text QA76.9.L63 I83 2002 Off-site Logic for learning : learning comprehensible theories from structured data / J.W. Lloyd.
- Text
- 2003
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 L56 2003 Off-site Program development in computational logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kung-Kiu Lau (eds.).
- Text
- Berlin ; New York : Springer, 2004.
- 2004
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3049Item details Format Call Number Item Location Book/Text QA76.9.L63 P76 2004g Off-site Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
- Text
- Cambridge, UK ; New York : Cambridge University Press, 2004.
- 2004
- 1 Item
Available Online
http://www.loc.gov/catdir/toc/cam041/2004045921.htmlItem details Format Call Number Item Location Book/Text QA76.9.L63 H88 2004 Off-site Inconsistency tolerance / Leopoldo Bertossi, Anthony Hunter, Torsten Schaub (eds.).
- Text
- Berlin : Springer, 2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Book/Text TS172 .I53 2004g Off-site Compiled labelled deductive systems : a uniform presentation of non-classical logics / Krysia Broda [and others].
- Text
- Baldock, Hertfordshire, England : Research Studies Press ; Philadelphia, PA : Institute of Physics Pub. ; Williston, VT : Distribution in North America, AIDC, [2004], ©2004.
- 2004-2004
- 1 Item
Available Online
http://www.loc.gov/catdir/toc/ecip0416/2004005941.htmlItem details Format Call Number Item Location Book/Text QA76.9.L63 C658 2004 Off-site Computation engineering : applied automata theory and logic / Ganesh Gopalakrishnan.
- Text
- New York, NY : Springer, [2006], ©2006.
- 2006-2006
- 1 Item
Item details Format Call Number Item Location Book/Text QA76.9.M35 G665 2006g Off-site All about Maude-a high-performance logical framework : how to specify, program, and verify systems in rewriting logic / Manuel Clavel [and others].
- Text
- Berlin ; New York : Springer, 2007.
- 2007
- 1 Item
Item details Format Call Number Item Location Book/Text QA76.9.L63 C53 2007g Off-site Propositional logic: deduction and algorithms / Hans Kleine Büning ; Theodor Lettman.
- Text
- Cambridge, U.K. ; New York : Cambridge University Press, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Book/Text QA76.9.L63 P76 1999 Off-site Computerphilosophie zur Einführung / Klaus Mainzer.
- Text
- Hamburg : Junius, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Book/Text Off-site Krister Segerberg on logic of actions / Robert Trypuz, editor.
- Text
- Dordrecht : Springer, 2013.
- 2013
- 1 Item
Item details Format Call Number Item Location Book/Text QA76.5913 .T384 2013 Off-site Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
- Text
- Cambridge, U.K. ; New York : Cambridge University Press, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Book/text QA76.9.L63 H88 2000 Off-site Reflection in rewriting logic : metalogical foundations and metaprogramming applications / Manuel Clavel.
- Text
- Stanford, Calif. : CSLI Publications, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Book/text QA76.9.L63 C655 2000 Off-site Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
- Text
- Cambridge [U.K.] ; New York : Cambridge University Press, 2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Book/text QA76.9.L63 H88 2004 Off-site Computation engineering : applied automata theory and logic / Ganesh Gopalakrishnan.
- Text
- New York, NY : Springer, c2006.
- 2006
- 1 Item
Item details Format Call Number Item Location Book/text QA76.9.M35 G67 2006 Off-site Towards a design flow for reversible logic / Robert Wille, Rolf Drechsler.
- Text
- Dordrecht ; New York : Springer Verlag, c2010.
- 2010
- 1 Item
Item details Format Call Number Item Location Book/text QA76.9.L63 W55 2010 Off-site Asynchronous operators of sequential logic : venjunction & sequention : digital circuit analysis and design / Vadim Vasyukevich.
- Text
- Berlin : Springer, c2011.
- 2011
- 1 Item
Item details Format Call Number Item Location Book/text QA76.9.L63 V37 2011 Off-site Logic for computer science and artificial intelligence / Ricardo Caferra.
- Text
- London : ISTE ; Hoboken, NJ : Wiley, 2011.
- 2011
- 1 Item
Item details Format Call Number Item Location Book/text QA76.9.L63 C34 2011 Off-site Logic in Computer Science. II / [17 contributors] ; editor Silvia Ghilezan.
- Text
- Beograd : Matematički institut SANU, 2015.
- 2015
- 1 Item
Item details Format Call Number Item Location Book/text QA76.9.L63 L625 2015 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
