A bibliography on parallel inference machines (Q1062755)
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: A bibliography on parallel inference machines |
scientific article; zbMATH DE number 3915617
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A bibliography on parallel inference machines |
scientific article; zbMATH DE number 3915617 |
Statements
A bibliography on parallel inference machines (English)
0 references
1985
0 references
The realisation of a parallel machine for automated theorem proving, logic and functional programming and other types of symbolic computations is a research topic that is currently pursued world-wide. At this early stage, most of the material on parallel machines for symbolic computation is contained in technical reports and proceedings of conferences. This bibliography aims at supporting and challenging future research on this subject area by pointing to most of the existing papers in this field without trying to give any assessment.
0 references
parallel machine
0 references
functional programming
0 references
symbolic computation
0 references
