UB CSE725
https://cse.buffalo.edu/~shapiro/Courses/CSE725/
23 Aug 2000:
UNIVERSITY AT BUFFALO - STATE UNIVERSITY OF NEW YORK. The Department of Computer Science & Engineering. CSE 202. Prof. Stuart C. Shapiro. Registration No. Thursdays, 3:00 - 5:00, 224 Bell Hall. SNePS 2.5 and the partial implementation of SNePS 3.0,