Logic programming and automated reasoning. 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994. Proceedings (Q1328456)
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 programming and automated reasoning. 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994. Proceedings |
scientific article; zbMATH DE number 611152
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic programming and automated reasoning. 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994. Proceedings |
scientific article; zbMATH DE number 611152 |
Statements
Logic programming and automated reasoning. 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994. Proceedings (English)
0 references
26 July 1994
0 references
The articles of this volume will be reviewed individually within the Lecture Notes in Computer Science Database.
0 references
Kiev (Ukraine)
0 references
Proceedings
0 references
Conference
0 references
LPAR '94
0 references
Logic programming
0 references
Automated reasoning
0 references
