[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference kasino::eerp_abstracts

Title:European Research Abstracts
Moderator:KAMPUS::REGENBOGEN
Created:Thu Apr 03 1986
Last Modified:Mon Aug 05 1996
Last Successful Update:Wed May 28 1997
Number of topics:443
Total number of notes:4098

70.0. "164/GY-010-2 [50] KARLSRUHE/AI Prolog/Theorem Proving" by EUROPE::MAILLARD () Tue Jun 03 1986 16:09

T.RTitleUserPersonal
Name
DateLines
70.1COMPLETED, August 1988DECALP::REESMon Aug 22 1988 17:5310
70.2Report on extended Prolog with Boolean UnificationEUROPE::DEVOSEERP sponsored projectsThu Feb 15 1990 17:0930