Résultat(s)
1 - 1
résultats de
1
pour la requête '
'
Aller au contenu
UPFind
0
notices
(Plein)
Langue
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Tous les champs
Titre
Auteur
Sujet
Cote
ISBN/ISSN
Rechercher
Recherche avancée
DATABASE:
Union Catalog (Buklod)
AUTHOR:
SpringerLink (Online service
SUBJECT:
Artificial intelligence
ET
Algebra
ET
Automatic theorem proving -- Congresses
Montrer les filtres (5)
DATABASE:
Union Catalog (Buklod)
AUTHOR:
SpringerLink (Online service
SUBJECT:
Artificial intelligence
ET
Algebra
ET
Automatic theorem proving -- Congresses
Résultats de la recherche
Résultat(s)
1 - 1
résultats de
1
pour la requête '
'
, Temps de recherche: 0,01s
Affiner les résultats
Trier
Pertinence
Newest to Oldest
Oldest to Newest
Auteur
Titre
Choisir une page | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter au panier
Merci de choisir la recherche numéro 1
1
Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
Publié dans
Springer eBook.
(2011)
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Available for University of the Philippines Diliman via SpringerLink.Click here to access
Electronic Resource
Ajouter au panier
Retirer du panier
Choisir une page | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter au panier
Outils de recherche:
S'abonner aux flux RSS
—
Envoyer cette recherche par courriel
Retour
Restreindre la recherche
CAMPUS
Diliman
1
DATABASE
Union Catalog (Buklod)
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
1
YEAR OF PUBLICATION
De:
À:
SUBJECT
Algebra
Artificial intelligence
Automatic theorem proving -- Congresses
Computational complexity
1
Computer science
1
Data processing
1
Electronic books
1
Geometry -- Data processing -- Congresses
1
Software engineering
1
voir tous les ...
AUTHOR
Narboux, Julien
1
Richter-Gebert, Jürgen
1
Schreck, Pascal
1
SpringerLink (Online service
RESOURCE TYPE
Electronic Resource
1
LANGUAGE
English
1
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
Chargement en cours...