CSE 463/563, Spring 2005

Project Assignments

Last Update: 15 April 2005

Note: NEW or UPDATED material is highlighted


  1. NEW
    Project #2: The SNePS Knowledge Representation and Reasoning System
      (announced Apr 15; due Apr 29)

  2. Project #1: Automated Theorem Proving



Copyright © 2005 by William J. Rapaport (rapaport@cse.buffalo.edu)
file: 563S05/projects-2005-04-13.html