Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 395 results
Les mathématiques à la portée de l'ordinateur. Préf. de J. Kuntzmann.
- Text
- Paris, Dunod, 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text JSD 72-70 Offsite Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-tung Lee.
- Text
- New York, Academic Press [1973]
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSE 73-1946 Offsite Automated theorem proving : a logical basis / Donald W. Loveland.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributor for the U. S.A. and Canada, Elsevier North-Holland, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JSD 79-877 Offsite A computational logic / Robert S. Boyer and J. Strother Moore.
- Text
- New York : Academic Press, c1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JSE 80-973 Offsite Automation of reasoning / edited by Jörg Siekmann and Graham Wrightson.
- Text
- Berlin ; New York : Springer, 1983.
- 1983
- 2 Items
Item details Format Call Number Item Location Text JSE 84-645 v. 1 Offsite Item details Format Call Number Item Location Text JSE 84-645 v. 2 Offsite The computer modelling of mathematical reasoning / Alan Bundy.
- Text
- London ; New York : Academic Press, 1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text JSE 85-1022 Offsite Automated reasoning : introduction and applications / Larry Wos ... [et al.].
- Text
- Englewood Cliffs, N.J. : Prentice-Hall, c1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text JSE 84-853 Offsite Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / edited by R.E. Shostak.
- Text
- Berlin ; New York : Springer-Verlag, 1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text JSE 85-302 Offsite Automated theorem proving / Wolfgang Bibel.
- Text
- Braunschweig : F. Vieweg ; Philadelphia, Pa. : Distributed by Heyden & Son, 1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Text JSE 85-745 Offsite Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.
- Text
- New York, NY : Harper & Row, c1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSE 87-2841 Offsite 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann.
- Text
- Berlin ; New York : Springer-Verlag, c1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSE 86-1715 Offsite Automated reasoning : 33 basic research problems / Larry Wos.
- Text
- Englewood Cliffs, N.J. : Prentice-Hall, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 88-2718 Offsite A many-sorted calculus based on resolution and paramodulation / Christoph Walther.
- Text
- London : Pitman ; Los Altos, CA : Morgan Kaufmann, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSF 88-1521 Offsite From logic design to logic programming : theorem proving techniques and P-functions / Dominique. Snyers, André Thayse.
- Text
- Berlin ; New York : Springer-Verlag, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSE 87-2161 Offsite Automated theorem-proving in non-classical logics / Paul B. Thistlewaite, Michael A. McRobbie and Robert K. Meyer.
- Text
- London : Pitman ; New York : Wiley, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 88-1231 Offsite 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 88-2871 Offsite Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers.
- Text
- Berlin ; New York : Springer-Verlag, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSE 89-168 Offsite Deduction systems in artificial intelligence / editors, Karl Hans Bläsius, Hans-Jürgen Bürckert ; [translated by Patricia Sarach].
- Text
- Chichester [England] : Ellis Horwood ; New York, N.Y. : Halsted Press, 1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSE 90-136 Offsite A computational logic handbook / Robert S. Boyer, J Strother Moore.
- Text
- Boston : Academic Press, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 89-1457 Offsite Current trends in hardware verification and automated theorem proving / G. Birtwistle, P.A. Subrahmanyam, editors.
- Text
- New York : Springer-Verlag, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSE 90-1572 Offsite Journal of automated reasoning.
- Text
- Dordrecht, Holland ; Boston : D. Reidel Pub. Co., 1985-
- 1985-present
- 21 Items
Item details Format Call Number Item Location Text JSP 88-314 v. 35-36 (2005-2006) Offsite Item details Format Call Number Item Location Text JSP 88-314 v. 37-38 (2006-2007) Offsite Item details Format Call Number Item Location Text JSP 88-314 v. 39-40 (2007-2008) Offsite PX, a computational logic / Susumu Hayashi, Hiroshi Nakano.
- Text
- Cambridge, Mass. : MIT Press, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 89-522 Offsite 10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings / M.E. Stickel, (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSF 90-895 Offsite Communication complexity : a new approach to circuit depth / Mauricio Karchmer.
- Text
- Cambridge, Mass. : MIT Press, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSE 90-2090 Offsite Analogy for automated reasoning / Stephen Owen.
- Text
- Boston : Academic Press, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JFE 91-2043 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Computational logic : symposium proceedings, Brussels, November 13-14, 1990 / J.W. Lloyd (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSE 91-1428 Offsite Instantiation theory : on the foundations of automated deduction / J.G. Williams.
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-842 Offsite Principles of automated theorem proving / David A. Duffy.
- Text
- Chichester ; New York : Wiley, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSE 92-942 Offsite Logic programming and automated reasoning : proceedings / International Conference LPAR '92, St. Petersburg, Russia, July 15-202, 1992 ; A. Voronkov, ed.
- Text
- Berlin ; New York : Springer-Verlag, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSF 92-729 Offsite Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur, ed.
- Text
- Berlin ; New York : Springer-Verlag, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSF 92-712 Offsite First-order logic and automated theorem proving / Melvin Fitting.
- Text
- New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSE 92-2110 Offsite Logical frameworks / edited by Gérard Huet, G. Plotkin.
- Text
- Cambridge [England] ; New York : Cambridge University Press, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSE 92-1936 Offsite Computational logic : essays in honor of Alan Robinson / edited by Jean-Louis Lassez and Gordon Plotkin.
- Text
- Cambridge, Mass. : MIT Press, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 93-81 Offsite Verifying temporal properties of systems / Julian Charles Bradfield.
- Text
- Boston : Birkhäuser, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSE 93-888 Offsite Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 93-1214 Offsite Logic programming and automated reasoning : 4th International Conference LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings / Andrei Voronkov, ed.
- Text
- Berlin ; New York : Springer-Verlag, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 93-1371 Offsite Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds.
- Text
- Berlin ; New York : Springer-Verlag, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 93-1507 Offsite Logic programming : operational semantics and proof theory / James H. Andrews.
- Text
- Cambridge ; New York : Cambridge University Press, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSF 93-810 Offsite Geometric reasoning for perception and action : workshop Grenoble, France, September 16-17, 1991 : selected papers / Christian Laugier (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 94-64 Offsite Introduction to HOL : a theorem proving environment for higher order logic / edited by M. J. C. Gordon and T. F. Melham.
- Text
- Cambridge ; New York : Cambridge University Press, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1012 Offsite Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings / Jeffrey J. Joyce, Carl-Johan H. Seger, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1395 Offsite Logical environments / edited by Gérard Huet, Gordon Plotkin.
- Text
- Cambridge ; New York, NY, USA : Cambridge University Press, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1205 Offsite Metamathematics, machines, and Gödel's proof / N. Shankar.
- Text
- Cambridge ; New York : Cambridge University Press, 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSF 95-1094 Offsite Mechanical theorem proving in geometries : basic principles / Wen-tsün Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang.
- Text
- Wien ; New York : Springer-Verlag, 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSF 94-600 Offsite Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1771 Offsite Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings / Alan Bundy (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1757 Offsite Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1770 Offsite Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham, Juanito Camilleri (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 95-339 Offsite Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-934 Offsite Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Robias Nipkow.
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 95-448 Offsite
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.
