Handling inheritance in a system integrating logic in objects (Q4332034)
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: Handling inheritance in a system integrating logic in objects |
scientific article; zbMATH DE number 983888
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Handling inheritance in a system integrating logic in objects |
scientific article; zbMATH DE number 983888 |
Statements
Handling inheritance in a system integrating logic in objects (English)
0 references
27 February 1997
0 references
Knowledge representation
0 references
Objects
0 references
Many-sorted logic
0 references
Integrated system
0 references
Logical formulas inheritance
0 references
Specialisation types
0 references
Inheritance control
0 references
0.7203329205513
0 references
0.7090796232223511
0 references
0.6995010375976562
0 references
