Proof Techniques
mfleck.cs.illinois.edu · saved by 1 readers
Similar lists have been circulating around the net for decades. The original was written by Dana Angluin and publisted in SIGACT News, Winter-Spring 1983, Volume 15 #1. ---Margaret Fleck
Similar lists have been circulating around the net for decades. The original was written by Dana Angluin and publisted in SIGACT News, Winter-Spring 1983, Volume 15 #1. ---Margaret Fleck