Computer Science Logic, 17th International Workshop, CSL 2003, Vienna, Austria, August 25-30, 2003, Proceedingsсборник
Статьи, опубликованные в сборнике
-
-
2003
Back to the future: Explicit logic for computer science
-
Artemov Sergei
-
в сборнике Computer Science Logic, 17th International Workshop, CSL 2003, Vienna, Austria, August 25-30, 2003, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 2803, тезисы, с. 43
DOI