Search for Topics All Reviews
	Browse All Reviews > Computing Methodologies (I) > Artificial Intelligence (I.2) > Programming Languages And Software (I.2.5) > Ekl (I.2.5...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-1 of 1 Reviews about "Ekl (I.2.5...)": Date Reviewed   Ketonen J. Type: Article The title of this paper is slightly misleading and the misunderstanding is corrected in the very first line. EKL is an interactive theorem-proving system currently under development at the Stanford University AI Laboratory. It is inten... May 1 1985
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy