Mechanized derivation of linear invariants
(Q43431082)
scientific article published in May 1989
scientific article published in May 1989
Language:
Current Data About
Mechanized derivation of linear invariants
| (P31) |
(Q13442814)
|
||||||||
| (P304) |
301-316
|
||||||||
| (P433) |
3
|
||||||||
| (P478) |
6
|
||||||||
| (P577) |
Monday, May 1, 1989
|
||||||||
| (P1433) |
(Q1992656)
|
||||||||
| (P1476) |
"Mechanized derivation of linear invariants" (language: en)
|
||||||||
| (P2093) |
Cavender JA
|
other details
| description | scientific article published in May 1989 |
External Links
| (P356) |
10.1093/OXFORDJOURNALS.MOLBEV.A040551
|
| (P698) |
2622336
|