Ontic : a knowledge representation system for mathematics
David A. McAllester
Bok Språk ikke angitt 1989
Utgitt | Cambridge, Mass. : MIT Press , c1989
|
---|---|
Omfang | xiv, 158 s.
|
Emner | |
ISBN | 0262132354
|
Utgitt | Cambridge, Mass. : MIT Press , c1989
|
---|---|
Omfang | xiv, 158 s.
|
Emner | |
ISBN | 0262132354
|