Pays
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur Aussois

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Pays-Bas36
Arjeh M. Cohen1
Pays-Bas Sauf Arjeh M. Cohen" 35
Arjeh M. Cohen Sauf Pays-Bas" 0
Pays-Bas Et Arjeh M. Cohen 1
Pays-Bas Ou Arjeh M. Cohen 36
Corpus1706
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 1.
Ident.Authors (with country if any)Title
000296 Henk Barendregt [Pays-Bas] ; Arjeh M. Cohen [Pays-Bas]Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants
Wicri

This area was generated with Dilib version V0.6.29.
Data generation: Sun Apr 16 19:50:37 2017. Site generation: Mon Feb 12 14:44:36 2024