Papers in honor of the symposium on logical foundations of computer science, `Logic at St. Petersburg', St. Petersburg, Russia, July 12--15, 1994 (Q1815290)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Papers in honor of the symposium on logical foundations of computer science, `Logic at St. Petersburg', St. Petersburg, Russia, July 12--15, 1994 |
scientific article; zbMATH DE number 942911
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Papers in honor of the symposium on logical foundations of computer science, `Logic at St. Petersburg', St. Petersburg, Russia, July 12--15, 1994 |
scientific article; zbMATH DE number 942911 |
Statements
Papers in honor of the symposium on logical foundations of computer science, `Logic at St. Petersburg', St. Petersburg, Russia, July 12--15, 1994 (English)
0 references
7 November 1996
0 references
The articles of this volume will be reviewed individually.
0 references
Logic
0 references
St. Petersburg (Russia)
0 references
Computer science
0 references
Proceedings
0 references
Conference
0 references
