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