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

QR-koodi

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

Tallennettuna:

Bibliografiset tiedot
Yhteisötekijä:	International Workshop on Automated Deduction in Geometry Zurich, Switzerland)
Muut tekijät:	Richter-Gebert, Jurgen, 1963-, Wang, Dongming.
Aineistotyyppi:	Sách giấy
Julkaistu:	Berlin ; New York : Springer, c2001.
Sarja:	Lecture notes in computer science ; 2061. Lecture notes in computer science. Lecture notes in artificial intelligence.
Aiheet:	Automatic theorem proving > Congresses. Geometry > Data processing > Congresses. Logic, Symbolic and mathematical > Congresses.
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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

Samankaltaisia teoksia

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

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

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

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

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

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

Computational Geometry
Tekijä: De Berg, Mark
Julkaistu: (2008)

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

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

Paraconsistent Intelligent-Based Systems New Trends in the Applications of Paraconsistency
Tekijä: Abe, Jair M
Julkaistu: (2015)

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

Algebraic geometry and singularities /
Julkaistu: (1996)

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

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

Complex algebraic geometry.
Julkaistu: (1997)

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

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

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

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

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
Tekijä: Chakraborty, M, et al.
Julkaistu: (2015)

Arithmetic algebraic geometry /
Julkaistu: (2001)

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

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

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

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

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

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

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

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

Computational algebraic geometry /
Tekijä: Schenck, Hal
Julkaistu: (2003)

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

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

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

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

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

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

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