Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /

Mã QR

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	International Workshop on Automated Deduction in Geometry Zurich, Switzerland)
Tác giả khác:	Richter-Gebert, Jurgen, 1963-, Wang, Dongming.
Định dạng:	Sách giấy
Được phát hành:	Berlin ; New York : Springer, c2001.
Loạt:	Lecture notes in computer science ; 2061. Lecture notes in computer science. Lecture notes in artificial intelligence.
Những chủ đề:	Automatic theorem proving > Congresses. Geometry > Data processing > Congresses. Logic, Symbolic and mathematical > Congresses.
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)

Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
Bỡi: Chou, Shang-Ching, 1946-
Được phát hành: (1994)

Discrete and computational geometry : Japanese conference, JCDCG 2000, Tokyo, Japan, November 22-25, 2000 : revised papers /
Được phát hành: (2001)

Contemporary Geometry and Related Topics : Proceedings of the Workshop Belgrade, Yugoslavia, 15-21 May 2002 /
Được phát hành: (2004)

Affine algebraic geometry : special session on affine algebraic geometry at the first joint AMS-RSME meeting, Seville, Spain, June 18-21, 2003 /
Được phát hành: (2005)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Bỡi: Banerjee, Mohua, et al.
Được phát hành: (2015)

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

Trends in complex analysis, differential geometry, and mathematical physics : proceedings of the 6th International Workshop on Complex Structures and Vector Fields : St. Konstantin, Bulgaria, 3-6 September 2002 /
Được phát hành: (2003)

Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /
Được phát hành: (2001)

Noncommutative geometry : lectures given at the C.I.M.E. summer school held in Martina Franca, Italy, September 3-9, 2000 /
Được phát hành: (2004)

Paraconsistent Intelligent-Based Systems New Trends in the Applications of Paraconsistency
Bỡi: Abe, Jair M
Được phát hành: (2015)

Advances in discrete and computational geometry : proceedings of the 1996 AMS-IMS-SIAM Joint Summer Research Conference, Discrete and Computational Geometry--Ten Years Later, July 14-18, 1996, Mount Holyoke College.
Được phát hành: (1999)

Algebraic geometry and singularities /
Được phát hành: (1996)

Homotopy theory via algebraic geometry and group representations : proceedings of a Conference on Homotopy Theory, March 23-27, 1997, Northwestern University /
Được phát hành: (1998)

Principles of knowledge representation and reasoning : proceedings of the Eighth international conference (KR 2002) /
Được phát hành: (2002)

Real algebraic geometry and topology : a Conference on Real Algebraic Geometry and Topology, December 17-21, 1993, Michigan State University /
Được phát hành: (1995)

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

Algorithmic and quantitative real algebraic geometry : DIMACS Workshop, Algorithmic and Quantitative Aspects of Real Algebraic, Geometry in Mathematics and Computer Science, March 12-16, 2001, DIMACS Center /
Được phát hành: (2003)

Differential geometry : proceedings of the international symposium held at Peñíscola, Spain, October 3-10, 1982 /
Được phát hành: (1984)

Differential geometry : proceedings of the international symposium held at Peñíscola, Spain, October 3-10, 1982 /
Được phát hành: (1984)

Vision geometry : proceedings of an AMS special session held October 20-21, 1989 /
Được phát hành: (1991)

Computations in Algebraic Geometry with Macaulay 2 /
Được phát hành: (2002)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
Bỡi: Chakraborty, M, et al.
Được phát hành: (2015)

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

Advances in learning classifier systems : third international workshop, IWLCS 2000, Paris, France, September 15-16, 2000 : revised papers /
Được phát hành: (2001)

Analysis and geometry in several complex variables : proceedings of the 40th Taniguchi Symposium /
Được phát hành: (1999)

Computational and geometric aspects of modern algebra /
Được phát hành: (2000)

Computational and geometric aspects of modern algebra /
Được phát hành: (2000)

Modular forms and Fermat's last theorem /
Được phát hành: (1997)

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

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
Được phát hành: (2001)

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
Được phát hành: (2001)

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

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

A Link between science and applications of automatic control
Được phát hành: (1979)

A link between science and applications of automatic control
Được phát hành: (1979)

A link between science and applications of automatic control
Được phát hành: (1979)

A link between science and applications of automatic control
Được phát hành: (1979)

Lie theory and its applications in physics V /
Được phát hành: (2000)

Power-aware computer systems : First International Workshop, PACS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers /
Được phát hành: (2001)