JavaScript is disabled for your browser. Some features of this site may not work without it.
  • About K
  • Academics
  • Admission
  • Alumni Relations
  • Giving to K
  • News & Events
  • Student Life
  • HORNET HIVE
  • ATHLETICS
  • SITEMAP
  • WEBMAIL
    • Login
    View Item 
    •   CACHE Homepage
    • Academic Departments, Programs, and SIPs
    • Computer Science
    • Computer Science Senior Integrated Projects
    • View Item
    •   CACHE Homepage
    • Academic Departments, Programs, and SIPs
    • Computer Science
    • Computer Science Senior Integrated Projects
    • View Item

    Theorem Proving Algorithm

    Thumbnail
    View/Open
    Searchable PDF / Kalamazoo College Only (1.775Mb)
    Date
    1989
    Author
    Artasanchez, Alberto
    Metadata
    Show full item record
    Abstract
    The ability to prove theorems in mathematics is a good example of an intellectual faculty and one that is relevant to the construction of reasoning programs. Examples of such programs are the ones capable of finding proofs for theorems within mathematical theories. Such programs are called theorem provers. We will first analyze developments in computer science in this field and later a basic theorem prover will be presented.
    URI
    http://hdl.handle.net/10920/25310
    Collections
    • Computer Science Senior Integrated Projects [250]

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    Login

    DSpace software copyright © 2002-2023  DuraSpace
    DSpace Express is a service operated by 
    Atmire NV
    Logo

    Kalamazoo College
    1200 Academy Street
    Kalamazoo Michigan 49006-3295
    USA
    Info 269-337-7000
    Admission 1-800-253-3602

    About K
    Academics
    Admission
    Alumni Relations
    Giving to K
    News & Events
    Student Life
    Sitemap
    Map & Directions
    Contacts
    Directories
    Nondiscrimination Policy
    Consumer Information
    Official disclaimer
    Search this site


    Academic Calendars
    Apply
    Bookstore
    Crisis Response
    Employment
    Library
    Registrar
    DSpace Express is a service operated by 
    Atmire NV