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
|[A2Z] [Alta Vista] [Aqui] [Archieplex] [Deja News] [Excite] [HotBot] [Infoseek] [Lycos] [Manjara] [Open Text] [Point] [Sleuth] [Savvy Search] [Switchboard] [WebCrawler] [Yahoo!]|