Higher order logic theorem proving and its applications. 7th international workshop, Valletta, Malta, September 19--22, 1994. Proceedings (Q1339988)
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: Higher order logic theorem proving and its applications. 7th international workshop, Valletta, Malta, September 19--22, 1994. Proceedings |
scientific article; zbMATH DE number 702501
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Higher order logic theorem proving and its applications. 7th international workshop, Valletta, Malta, September 19--22, 1994. Proceedings |
scientific article; zbMATH DE number 702501 |
Statements
Higher order logic theorem proving and its applications. 7th international workshop, Valletta, Malta, September 19--22, 1994. Proceedings (English)
0 references
12 December 1994
0 references
The articles of this volume will not be indexed individually.
0 references
Valletta (Malta)
0 references
Proceedings
0 references
Workshop
0 references
Higher order logic theorem proving
0 references
0.9013448
0 references
0.88898593
0 references
0.88098705
0 references
0.8786489
0 references
0 references
0.8640517
0 references
0.86306477
0 references
0.8569292
0 references
0.8563979
0 references
