Urquhart's course

Thread View: ut.theory

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Stephen Cook Tue, 02 Jan 1990 21:03

#355

Author: Stephen Cook
Date: Tue, 02 Jan 1990 21:03

2 lines
548 bytes

PHL2122S, Urquhart's course on the complexity of propositional proof systems,
will meet TR10 in the nursing building, corner of St. George and Russell.

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads