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 /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Chou, Shang-Ching, 1946-
Tác giả khác:	Chang, Ching-chung, 1936-, Gao, Xiao-shan.
Định dạng:	Sách giấy
Được phát hành:	Singapore ; New Jersey : World Scientific, c1994.
Loạt:	Series on applied mathematics ; v. 6
Những chủ đề:	Automatic theorem proving. Axioms > Data processing.
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Được phát hành: (2001)

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Được phát hành: (2001)

Logical approach to control theory and applications /
Bỡi: Vassilyev, Stanislav N.

European Press Seminar, Stockholm
Được phát hành: (1965)

Principles of automatic data processing
Được phát hành: (1969)

Đo lường điều khiển bằng máy tính
Bỡi: Nguyễn, Đức Thành
Được phát hành: (2005)

Computational geometry : algorithms and applications /
Được phát hành: (2000)

Computational geometry : algorithms and applications /
Được phát hành: (1997)

Algorithmic geometry /
Bỡi: Boissonnat, J.-D. 1953-
Được phát hành: (1998)

Algorithmic geometry /
Bỡi: Boissonnat, J.-D. 1953-
Được phát hành: (1998)

Algorithmic geometry /
Bỡi: Boissonnat, J.-D. 1953-
Được phát hành: (1995)

Noncommutative geometry and cayley-smooth orders
Bỡi: Le Bruyn, Lieven
Được phát hành: (2008)

Computational algebraic geometry.
Được phát hành: (2001)

Solving control engineering problems with MATLAB
Bỡi: Ogata, Katsuhiko
Được phát hành: (1994)

Computational methods in commutative algebra and algebraic geometry
Bỡi: Vasconcelos, Wolmer
Được phát hành: (1998)

Computational methods in commutative algebra and algebraic geometry /
Bỡi: Vasconcelos, Wolmer V., 1937-
Được phát hành: (1998)

Computational algebraic geometry /
Bỡi: Schenck, Hal
Được phát hành: (2003)

Advances in digital and computational geometry /
Được phát hành: (1998)

Computational Geometry
Bỡi: De Berg, Mark
Được phát hành: (2008)

Discrete and computational geometry : the Goodman-Pollack festschrift /
Được phát hành: (2003)

Computerized data acquisition analysis for the life sciences: A hands-on guide
Bỡi: Simon S. Young
Được phát hành: (2001)

Limit theorems of probability theory : sequences of independent random variables.
Bỡi: Petrov, V. V.
Được phát hành: (1995)

Handbook of discrete and computational geometry
Được phát hành: (1997)

Computational geometry in C /
Bỡi: O'rourke, Joseph
Được phát hành: (1993)

Computational geometry in C /
Bỡi: O'rourke, Joseph
Được phát hành: (1993)

Critical point theory and global lorentzian geometry /
Bỡi: Masiello, Antonio.

Weighted deformation theorem for normal currents /
Bỡi: Takamura, Hiroyuki.

On Massera's theorem for anti-periodic solution /
Bỡi: Chen, Y. Q.

A new proof of clarke's theorem /
Bỡi: Gue Myung Lee.

Theorems, corollaries, lemmas, and methods of proof
Bỡi: Rossi, Richard J.
Được phát hành: (2006)

Theorems, corollaries, lemmas, and methods of proof
Bỡi: Rossi, Richard J
Được phát hành: (2006)

Fixed point theorems and nonlinear ergodic theorems for nonlinear semigroups and their applications /
Bỡi: Takahashi, Wataru.

Condorcet jury theorem or rational ignorance /
Bỡi: Kitahara, Minoru.

Extension of the Drasin-Shea-Jordan theorem /
Bỡi: Bingham, Nicholas H.

Algorithmic geometry
Bỡi: Boissonnat, J.-D.
Được phát hành: (1998)

Modern differential geometry of curves and surfaces with Mathematica /
Bỡi: Gray, Alfred, 1939-1998.
Được phát hành: (1998)

A Liouville type theorem for weighted elliptic equations /
Bỡi: De Cicco, Virginia.

Sensors and control systems in manufacturing
Bỡi: Soloman, Sabrie
Được phát hành: (1994)

Bioinformatics basics :
Bỡi: Buehler, Lukas K.
Được phát hành: (2005)

Matlab & Simulink :
Bỡi: Nguyễn, Phùng Quang
Được phát hành: (2005)