Opis: Automated deduction in geometry :

Zapisane w:

Opis bibliograficzny
Korporacja:	International workshop on automated deduction in geometry :Zurich, Suisse
Kolejni autorzy:	Richtert-Gebert, Jürgen, 1963- (Dyrektor wydawnictwa), Wang, Dongming, 1961-...., mathématicien (Dyrektor wydawnictwa)
Format:	Livre numérique
Język:	Anglais
Wydane:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seria:	Lecture notes in computer science. Lecture notes in artificial intelligence 2061
Hasła przedmiotowe:	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
Dostęp online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Komentarz:	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

Opis
Deskrypcja:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540454106 (PDF)
ISSN:	1611-3349 2945-9141
Ograniczenie dostępu:	Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017