documents   about archive   about project   Andrei Ershov   in Russian

Archive IFIP IFIP 68 Congress Submitted Papers Abstract

	Abstract "A Completeness Result for Refutation Procedures Incorporating a Search Principle" by E.E.Sibert,Jr. Original document language: English Images of pages: 1 2 Back Next document (Abstract) Previous document (Abstract)
	Switch to Russian | Search | Advanced search | Folders | Themes

Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016