Normal view
MARC view
- Logic, Symbolic and mathematical
Logic, Symbolic and mathematical Congresses (Topical Term)
Machine generated authority record
Work cat.: (UPMIN)19325: Wang, Dongming. 21120, Symbolic-numeric computation /, c2007.