HTTP库

http:^^zfishstix.cs.uoregon.edu^isl^isystems.html

http:^^www.phil.indiana.edu^~barwise^hyperproof.ht

http:^^www.cs.umd.edu^projects^hpssl^

http:^^www.cs.tamu.edu^research^vislab^

http:^^www.cs.umd.edu^~mdtanx^tops.html

http:^^www.cs.ucsb.edu^research^psl.html

http:^^www.cs.umn.edu^research^dmc^

http:^^www.cs.umn.edu^research^grouplens^

http:^^www.cim.mcgill.ca^~dudek^mobile.html

http:^^www.cs.rochester.edu^research^iip^