documents   about archive   about project   Andrei Ershov   in Russian

Archive Editorial activity A.P. Ershov's contribution to the "Theoretical Computer Science" Journal TCS. Article by S.Akama Article

	Article "Logic programming as constructive logic with strong negation". Date: 22.05.1985 Original document language: English Authors: Seiki Akama Images of pages: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 Back Next document (Letter) Previous document (Covering letter)
	Switch to Russian | Search | Advanced search | Folders | Themes

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