COLOG-88. International conference on computer logic, Tallinn, USSR, December 12-16, 1988. Proceedings (Q1188612): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
| (One intermediate revision by one other user not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 02:27, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | COLOG-88. International conference on computer logic, Tallinn, USSR, December 12-16, 1988. Proceedings |
scientific article |
Statements
COLOG-88. International conference on computer logic, Tallinn, USSR, December 12-16, 1988. Proceedings (English)
0 references
17 September 1992
0 references
The articles of this volume will be reviewed individually under the abbreviation ``COLOG-88, Proc. Int. Conf., Tallinn/USSR 1988, Lect. Notes Comput. Sci. 417 (1990)''.
0 references
COLOG-88
0 references
Computer logic
0 references
Conference
0 references
Proceedings
0 references
Tallinn (USSR)
0 references
