|Volume 1: No. 04|
Matt Ginsberg (Stanford) has made his MVL theorem prover available over the internet. See the Spring 1991 AI Magazine, p.13.
Wesley R. Elsberry (email@example.com) runs the Central Neural System BBS, a direct-dial source of neural-network information and software. He also offers FidoNet/EchoMail access nationwide, and will dump information to diskettes at little cost.
AI Expert magazine runs a forum on CompuServe, at GO AIEXPERT. It's a good way to get source code from the magazine's articles, as well as access to online discussions. There are 14 regional phone numbers, including Ontario and Switzerland.