Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 103 results
Computer science logic : 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings / Dirk van Dalen, Marc Bezem, eds.
- Text
- New York : Springer, 1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSE 97-971 Offsite 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 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 Text JSE 98-924 Offsite Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings / Mogens Nielsen, Wolfgang Thomas (eds.)
- Text
- Berlin ; New York : Springer, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 98-1037 Offsite Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 1996 : selected papers / Eduardo Giménez, Christine Paulin-Mohring (eds.).
- Text
- Berlin ; New York : Springer Verlag, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 98-1582 Offsite Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)
- Text
- Berlin ; New York : Springer, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 99-1150 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 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 Text JSE 99-1877 Offsite Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / Jörg Flum, Mario Rodrʹiguez-Artalejo (eds.).
- Text
- Berlin ; New York : Springer, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 99-1995 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 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 Text JSE 00-1306 Offsite Computational logic--CL 2000 : First International Conference, London, UK, July 24-28, 2000 : proceedings / John Lloyd ... [et al.], (eds.).
- Text
- Berlin ; New York : Springer, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 00-1642 Offsite Computer science logic : 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings / Peter G. Clote, Helmut Schwichtenberg (eds.).
- Text
- Berlin ; New York : Springer, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 00-2052 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 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 Text JSE 01-903 Offsite Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.
- Text
- Providence, RI : American Mathematical Society, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSF 01-883 Offsite Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings / Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.).
- Text
- Berlin ; New York : Springer, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 01-1460 Offsite Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings / Laurent Fribourg (ed.).
- Text
- Berlin : New York : Springer, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 01-1748 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 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
Computer science logic : 16th International Workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings / Julian Bradfield (ed.).
- Text
- Berlin ; New York : Springer, c2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text JSE 02-1949 Offsite Computer science logic : 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings / Matthias Baaz, Johann A. Makowsky (eds.).
- Text
- Berlin ; New York : Springer, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text JSE 03-1733 Offsite 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 Text JSE 04-1350 Offsite Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / David Basin, Michaël Rusinowitsch (eds.).
- Text
- Berlin ; New York : Springer, 2004.
- 2004
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3097Item details Format Call Number Item Location Text JSE 04-1372 Offsite Computer science logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings / Jerzy Marcinkowski, Andrzej Tarlecki (eds.).
- Text
- Berlin ; New York : Springer, 2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text JSE 04-1494 Offsite Computational logic in multi-agent systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL., USA, January 6-7, 2004 : revised selected and invited papers / Jürgen Dix, João Leite (eds.).
- Text
- Berlin ; New York : Springer, c2004.
- 2004
- 1 Item
Available Online
http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3259Item details Format Call Number Item Location Text JSE 05-418 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 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
Logical methods in computer science [electronic resource] : LMCS.
- Text
- Braunschweig, Germany : Technical University of Braunschweig
- 2005-present
- 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=2731762Computer science logic : 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings / Dirk van Dalen, Marc Bezem, eds.
- Text
- New York : Springer, 1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 W67 1996 Off-site The Tbilisi Symposium on Logic, Language, and Computation : selected papers / edited by Jonathan Ginzburg [and others].
- Text
- Stanford, Calif. : CSLI Publications : FoLLI, [1998], ©1998.
- 1998-1998
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .T412 1998 Off-site Solving 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 Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings / Mogens Nielsen, Wolfgang Thomas (eds.)
- Text
- New York : Springer, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 W67 1997 Off-site Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 1996 : selected papers / Eduardo Giménez, Christine Paulin-Mohring (eds.).
- Text
- Berlin ; New York : Springer Verlag, [1998], ©1998.
- 1998-1998
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 I58 1996 Off-site Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)
- Text
- Berlin ; New York : Springer, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 W67 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 Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / Jörg Flum, Mario Rodrʹiguez-Artalejo (eds.).
- Text
- Berlin ; New York : Springer, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 W67 1999 Off-site Advances in temporal logic / edited by Howard Barringer [and others].
- Text
- Dordrecht ; Boston : Kluwer Academic Publishers, [2000], ©2000.
- 2000-2000
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 A38 2000 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 Computational logic-CL 2000 : First International Conference, London, UK, July 2000 : proceedings / John Lloyd [and others] (eds.).
- Text
- New York : Springer, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 C65 2000 Off-site ACM transactions on computational logic.
- Text
- New York, NY : Association for Computing Machinery, ©2000-
- 2000-present
- 7 Items
Item details Format Call Number Item Location Text QA76.9.L63 A26 v.5 (2004) Off-site Item details Format Call Number Item Location Text QA76.9.L63 A26 v.6 (2005) Off-site Item details Format Call Number Item Location Text QA76.9.L63 A26 v.7 (2006) Off-site Computer science logic : 14th International Workshop, CSL 2000, 9th Annual Conference of the EACSL, Fischbachau, Germany, August 2000 : proceedings / Peter Clote, Helmut Schwichtenberg (eds.).
- Text
- Berlin ; New York : Springer, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text QA76.9.L63 W67 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
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.
