Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /

Mã QR

Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Chou, Shang-Ching, 1946-
מחברים אחרים:	Chang, Ching-chung, 1936-, Gao, Xiao-shan.
פורמט:	Sách giấy
יצא לאור:	Singapore ; New Jersey : World Scientific, c1994.
סדרה:	Series on applied mathematics ; v. 6
נושאים:	Automatic theorem proving. Axioms > Data processing.
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

פריטים דומים

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
יצא לאור: (2001)

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
יצא לאור: (2001)

Logical approach to control theory and applications /
מאת: Vassilyev, Stanislav N.

European Press Seminar, Stockholm
יצא לאור: (1965)

Principles of automatic data processing
יצא לאור: (1969)

Computational geometry : algorithms and applications /
יצא לאור: (2000)

Computational geometry : algorithms and applications /
יצא לאור: (1997)

Đo lường điều khiển bằng máy tính
מאת: Nguyễn, Đức Thành
יצא לאור: (2005)

Algorithmic geometry /
מאת: Boissonnat, J.-D. 1953-
יצא לאור: (1998)

Algorithmic geometry /
מאת: Boissonnat, J.-D. 1953-
יצא לאור: (1998)

Algorithmic geometry /
מאת: Boissonnat, J.-D. 1953-
יצא לאור: (1995)

Computational algebraic geometry.
יצא לאור: (2001)

Computational methods in commutative algebra and algebraic geometry
מאת: Vasconcelos, Wolmer
יצא לאור: (1998)

Computational methods in commutative algebra and algebraic geometry /
מאת: Vasconcelos, Wolmer V., 1937-
יצא לאור: (1998)

Solving control engineering problems with MATLAB
מאת: Ogata, Katsuhiko
יצא לאור: (1994)

Computational algebraic geometry /
מאת: Schenck, Hal
יצא לאור: (2003)

Advances in digital and computational geometry /
יצא לאור: (1998)

Noncommutative geometry and cayley-smooth orders
מאת: Le Bruyn, Lieven
יצא לאור: (2008)

Computational Geometry
מאת: De Berg, Mark
יצא לאור: (2008)

Discrete and computational geometry : the Goodman-Pollack festschrift /
יצא לאור: (2003)

Computational aids in control systems using Matlab /
מאת: Saadat, Hadi.
יצא לאור: (1993)

Handbook of discrete and computational geometry
יצא לאור: (1997)

Computerized data acquisition analysis for the life sciences: A hands-on guide
מאת: Simon S. Young
יצא לאור: (2001)

Computational geometry in C /
מאת: O'rourke, Joseph
יצא לאור: (1993)

Computational geometry in C /
מאת: O'rourke, Joseph
יצא לאור: (1993)

A new proof of clarke's theorem /
מאת: Gue Myung Lee.

Theorems, corollaries, lemmas, and methods of proof
מאת: Rossi, Richard J.
יצא לאור: (2006)

Theorems, corollaries, lemmas, and methods of proof
מאת: Rossi, Richard J
יצא לאור: (2006)

A new proof of clarke's theorem
מאת: Cue, Myung Lee, et al.
יצא לאור: (2014)

Limit theorems of probability theory : sequences of independent random variables.
מאת: Petrov, V. V.
יצא לאור: (1995)

Proof :
מאת: Atkinson, Paul
יצא לאור: (2007)

Proof
מאת: Atkinson, Paul
יצא לאור: (2007)

Modern differential geometry of curves and surfaces with Mathematica /
מאת: Gray, Alfred, 1939-1998.
יצא לאור: (1998)

Weighted deformation theorem for normal currents /
מאת: Takamura, Hiroyuki.

On Massera's theorem for anti-periodic solution /
מאת: Chen, Y. Q.

Critical point theory and global lorentzian geometry /
מאת: Masiello, Antonio.

Algorithmic geometry
מאת: Boissonnat, J.-D.
יצא לאור: (1998)

Sensors and control systems in manufacturing
מאת: Soloman, Sabrie
יצא לאור: (1994)

Bioinformatics basics :
מאת: Buehler, Lukas K.
יצא לאור: (2005)

Matlab & Simulink :
מאת: Nguyễn, Phùng Quang
יצא לאור: (2005)