Logic in computer science. Selected papers from the 1990 IEEE symposium (Q1572773)
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: Logic in computer science. Selected papers from the 1990 IEEE symposium |
scientific article; zbMATH DE number 1483072
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic in computer science. Selected papers from the 1990 IEEE symposium |
scientific article; zbMATH DE number 1483072 |
Statements
Logic in computer science. Selected papers from the 1990 IEEE symposium (English)
0 references
2 August 2000
0 references
The articles of this volume will be reviewed individually. The 13th symposium 1998 has been indicated (see Zbl 0925.03012).
0 references
Logic
0 references
Computer science
0 references
Symposium
0 references
IEEE symposium
0 references
Special issue
0 references
