Some Useful Links

Association for Automated Reasoning

Dov Gabbay and John Woods, editors, The International Directory of Logicians. Who's Who in Logic, College Publications, 2009.

Press Release 2009 October


SEARCH ENGINES
[A2Z] [Alta Vista] [Aqui] [Archieplex] [Deja News] [Excite] [HotBot] [Infoseek] [Lycos] [Manjara] [Open Text] [Point] [Sleuth] [Savvy Search] [Switchboard] [WebCrawler] [Yahoo!]