کشف منابع
Symbolic
کتابها
9 نتیجه
English
Unordered
Computer algebra and symbolic computation: elementary algorithms
Joel S. Cohen
2002
مشاهدهٔ کتاب
English
Unordered
Computer Algebra: Systems and Algorithms for Algebraic Computation
J. H. Davenport,Y. Siret,Evelyne Tournier
1993
مشاهدهٔ کتاب
English
Beginner
Simple Formal Logic: With Common-Sense Symbolic Techniques
Arnold vander Nat
2009
مشاهدهٔ کتاب
English
Beginner
Computer Algebra Recipes for Mathematical Physics
Richard H. Enns
2005
مشاهدهٔ کتاب
English
Beginner
Mathematics and Plausible Reasoning, Volume 2: Logic, Symbolic and mathematical
G. Polya
2021
مشاهدهٔ کتاب
English
Beginner
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization
Thomas Fahringer,Bernhard Scholz (eds.)
2003
مشاهدهٔ کتاب
English
Beginner
Symbolic Analysis in Analog Integrated Circuit Design
Henrik Floberg (auth.)
1997
مشاهدهٔ کتاب