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

QRコード

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

保存先:

書誌詳細
団体著者:	International Workshop on Automated Deduction in Geometry Zurich, Switzerland)
その他の著者:	Richter-Gebert, Jurgen, 1963-, Wang, Dongming.
フォーマット:	Sách giấy
出版事項:	Berlin ; New York : Springer, c2001.
シリーズ:	Lecture notes in computer science ; 2061. Lecture notes in computer science. Lecture notes in artificial intelligence.
主題:	Automatic theorem proving > Congresses. Geometry > Data processing > Congresses. Logic, Symbolic and mathematical > Congresses.
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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)

Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
著者:: Chou, Shang-Ching, 1946-
出版事項: (1994)

Discrete and computational geometry : Japanese conference, JCDCG 2000, Tokyo, Japan, November 22-25, 2000 : revised papers /
出版事項: (2001)

Contemporary Geometry and Related Topics : Proceedings of the Workshop Belgrade, Yugoslavia, 15-21 May 2002 /
出版事項: (2004)

Affine algebraic geometry : special session on affine algebraic geometry at the first joint AMS-RSME meeting, Seville, Spain, June 18-21, 2003 /
出版事項: (2005)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
著者:: Banerjee, Mohua, 等
出版事項: (2015)

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 /
出版事項: (2003)

Computational Geometry
著者:: De Berg, Mark
出版事項: (2008)

Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /
出版事項: (2001)

Noncommutative geometry : lectures given at the C.I.M.E. summer school held in Martina Franca, Italy, September 3-9, 2000 /
出版事項: (2004)

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.
出版事項: (1999)

Paraconsistent Intelligent-Based Systems New Trends in the Applications of Paraconsistency
著者:: Abe, Jair M
出版事項: (2015)

Homotopy theory via algebraic geometry and group representations : proceedings of a Conference on Homotopy Theory, March 23-27, 1997, Northwestern University /
出版事項: (1998)

Algebraic geometry and singularities /
出版事項: (1996)

Principles of knowledge representation and reasoning : proceedings of the Eighth international conference (KR 2002) /
出版事項: (2002)

Real algebraic geometry and topology : a Conference on Real Algebraic Geometry and Topology, December 17-21, 1993, Michigan State University /
出版事項: (1995)

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 /
出版事項: (2003)

Complex algebraic geometry.
出版事項: (1997)

Differential geometry : proceedings of the international symposium held at Peñíscola, Spain, October 3-10, 1982 /
出版事項: (1984)

Differential geometry : proceedings of the international symposium held at Peñíscola, Spain, October 3-10, 1982 /
出版事項: (1984)

Vision geometry : proceedings of an AMS special session held October 20-21, 1989 /
出版事項: (1991)

Computations in Algebraic Geometry with Macaulay 2 /
出版事項: (2002)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
著者:: Chakraborty, M, 等
出版事項: (2015)

Arithmetic algebraic geometry /
出版事項: (2001)

Analysis and geometry in several complex variables : proceedings of the 40th Taniguchi Symposium /
出版事項: (1999)

Advances in learning classifier systems : third international workshop, IWLCS 2000, Paris, France, September 15-16, 2000 : revised papers /
出版事項: (2001)

Computational and geometric aspects of modern algebra /
出版事項: (2000)

Computational and geometric aspects of modern algebra /
出版事項: (2000)

Modular forms and Fermat's last theorem /
出版事項: (1997)

Logical approach to control theory and applications /
著者:: Vassilyev, Stanislav N.

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
出版事項: (2001)

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
出版事項: (2001)

Computational algebraic geometry /
著者:: Schenck, Hal
出版事項: (2003)

A Link between science and applications of automatic control
出版事項: (1979)

A link between science and applications of automatic control
出版事項: (1979)

A link between science and applications of automatic control
出版事項: (1979)

A link between science and applications of automatic control
出版事項: (1979)

Lie theory and its applications in physics V /
出版事項: (2000)

Power-aware computer systems : First International Workshop, PACS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers /
出版事項: (2001)

Power-aware computer systems : First International Workshop, PACS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers /
出版事項: (2001)