Jednotky: Automated deduction in geometry :

Uloženo v:

Podrobná bibliografie
Korporativní autor:	International workshop on automated deduction in geometry :Zurich, Suisse
Další autoři:	Richtert-Gebert, Jürgen, 1963- (Šéfredaktor, odpovědný redaktor), Wang, Dongming, 1961-...., mathématicien (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science. Lecture notes in artificial intelligence 2061
Témata:	Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Géométrie > Informatique Perception des structures Géométrie Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Automated deduction in geometry, third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, revised papers, Jürgen Richter-Gebert, Dongming Wang, eds, 2001, New York, Springer, 1 vol. (VIII-323 p.), Lecture notes in artificial intelligence, 3-540-42598-5 • Automated Deduction in Geometry, Texte imprimé, 9783662192153