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)