Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic (Q3771659)
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: Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic |
scientific article |
Statements
Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic (English)
0 references
1986
0 references
medical document translator
0 references
verification by Gentzen reduction
0 references
Quine- McCluskey algorithm
0 references
