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

QR Code

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

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	International Workshop on Automated Deduction in Geometry Zurich, Switzerland)
Autres auteurs:	Richter-Gebert, Jurgen, 1963-, Wang, Dongming.
Format:	Sách giấy
Publié:	Berlin ; New York : Springer, c2001.
Collection:	Lecture notes in computer science ; 2061. Lecture notes in computer science. Lecture notes in artificial intelligence.
Sujets:	Automatic theorem proving > Congresses. Geometry > Data processing > Congresses. Logic, Symbolic and mathematical > Congresses.
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

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

Documents similaires

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Publié: (2001)

Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
par: Chou, Shang-Ching, 1946-
Publié: (1994)

Discrete and computational geometry : Japanese conference, JCDCG 2000, Tokyo, Japan, November 22-25, 2000 : revised papers /
Publié: (2001)

Contemporary Geometry and Related Topics : Proceedings of the Workshop Belgrade, Yugoslavia, 15-21 May 2002 /
Publié: (2004)

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

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
par: Banerjee, Mohua, et autres
Publié: (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 /
Publié: (2003)

Computational Geometry
par: De Berg, Mark
Publié: (2008)

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

Noncommutative geometry : lectures given at the C.I.M.E. summer school held in Martina Franca, Italy, September 3-9, 2000 /
Publié: (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.
Publié: (1999)

Paraconsistent Intelligent-Based Systems New Trends in the Applications of Paraconsistency
par: Abe, Jair M
Publié: (2015)

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

Algebraic geometry and singularities /
Publié: (1996)

Principles of knowledge representation and reasoning : proceedings of the Eighth international conference (KR 2002) /
Publié: (2002)

Real algebraic geometry and topology : a Conference on Real Algebraic Geometry and Topology, December 17-21, 1993, Michigan State University /
Publié: (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 /
Publié: (2003)

Complex algebraic geometry.
Publié: (1997)

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

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

Vision geometry : proceedings of an AMS special session held October 20-21, 1989 /
Publié: (1991)

Computations in Algebraic Geometry with Macaulay 2 /
Publié: (2002)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
par: Chakraborty, M, et autres
Publié: (2015)

Arithmetic algebraic geometry /
Publié: (2001)

Analysis and geometry in several complex variables : proceedings of the 40th Taniguchi Symposium /
Publié: (1999)

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

Computational and geometric aspects of modern algebra /
Publié: (2000)

Computational and geometric aspects of modern algebra /
Publié: (2000)

Modular forms and Fermat's last theorem /
Publié: (1997)

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

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

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

Computational algebraic geometry /
par: Schenck, Hal
Publié: (2003)

A Link between science and applications of automatic control
Publié: (1979)

A link between science and applications of automatic control
Publié: (1979)

A link between science and applications of automatic control
Publié: (1979)

A link between science and applications of automatic control
Publié: (1979)

Lie theory and its applications in physics V /
Publié: (2000)

Power-aware computer systems : First International Workshop, PACS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers /
Publié: (2001)

Power-aware computer systems : First International Workshop, PACS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers /
Publié: (2001)