Language:
English
繁體中文
Help
圖資館首頁
Login
Jump To :
Overview
Titles
Subjects
Algebra - Computer programs.
Overview
Works:
2 works in 1 publications in 1 languages
Titles
The Seventeen Provers of the WorldForeword by Dana S. Scott /
by:
(Electronic resources)
The computer algebra system OSCARalgorithms and examples /
by:
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Algebra.
Algebra
Artificial Intelligence (incl. Robotics)
Proof theory
Computer Science.
Symbolic and Algebraic Manipulation.
Processing
...
Change password
Login