Bibliothèque

Le GRT a entrepris de mettre en place une base de données des livres, revues, proceedings en sa possession. Ce travail, entrepris par Myriam Matthys, a d'ores et déjà permis de répertorier plusieurs milliers de références, disponibles sous forme d'entrées BibTex. Si vous souhaitez consultez directement la bibliothèque du GRT, vous pouvez prendre contact avec le

Références

Fichier
Script de Recherche

Utilisation du script de recherche

Le script est prévu pour fonctionner sous Linux/Unix (voire cygwin sous Windows). Le nom du script est query, lequel est écrit en csh. Après téléchargement, n'oubliez pas de le rendre exécutable (chmod +x query). Pour l'utiliser, tapez simplement query (ou ./query), suivi des termes à rechercher. Ceux-ci peuvent être au maximum au nombre de 5. query affiche les résultats sur la sortie standard. Pour obtenir un fichier de résultats, disons results, il vous suffit d'entrer
query arguments > results