Algorithms and proofs inheritance in the FOC language (Q1868513)
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: Algorithms and proofs inheritance in the FOC language |
scientific article; zbMATH DE number 1901559
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algorithms and proofs inheritance in the FOC language |
scientific article; zbMATH DE number 1901559 |
Statements
Algorithms and proofs inheritance in the FOC language (English)
0 references
27 April 2003
0 references
FOC language
0 references
computer algebra
0 references
0.8407632
0 references
0.83610773
0 references
0.8343781
0 references
