AffRegion.i
Analysis
UK
Racine
Analysis
UK
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Analysis (UK)

Index « AffRegion.i » - entrée « Angleterre de l'Est »
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.
Angleterre < Angleterre de l'Est < Aquitaine  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 8.
Ident.Authors (with country if any)Title
000146 (2010) Christoph Benzmueller ; Lawrence C. Paulson [Royaume-Uni]Multimodal and intuitionistic logics in simple type theory
000205 (2007) Bernhard Beckert [Allemagne] ; Lawrence C. Paulson [Royaume-Uni]Preface
000229 (2006) Ian James [Royaume-Uni]Phenomenology in Diaspora
000263 (2004) Jia Meng [Royaume-Uni] ; Lawrence C. Paulson [Royaume-Uni]Experiments on Supporting Interactive Proof Using Resolution
000281 (2003) 1patrick Langdon [Royaume-Uni] ; Ray Adams [Royaume-Uni] ; P. John Clarkson [Royaume-Uni]Universal Access to Assistive Technology through Client-Centred Cognitive Assessment
000287 (2003) Hua Dong [Royaume-Uni] ; Simeon Keates [Royaume-Uni] ; P. John Clarkson [Royaume-Uni] ; Julia Cassim [Royaume-Uni]Implementing Inclusive Design: The Discrepancy between Theory and Practice
000388 (1994) Monica Nesi [Royaume-Uni] ; Valeria De Paiva [Royaume-Uni] ; Eike Ritter [Royaume-Uni]Rewriting properties of combinators for rudimentary linear logic
000415 (1989) Tobias Nipkow [Royaume-Uni]Term rewriting and beyond — theorem proving in Isabelle

List of associated Author.i

Nombre de
documents		Descripteur
3Lawrence C. Paulson
2P. John Clarkson
11patrick Langdon
1Bernhard Beckert
1Christoph Benzmueller
1Eike Ritter
1Hua Dong
1Ian James
1Jia Meng
1Julia Cassim
1Monica Nesi
1Ray Adams
1Simeon Keates
1Tobias Nipkow
1Valeria De Paiva

List of associated AffOrg.i

Nombre de
documents		Descripteur
8Université de Cambridge

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/UK/Analysis

HfdIndexSelect -h $EXPLOR_AREA/Data/UK/Analysis/AffRegion.i -k "Angleterre de l'Est" 

HfdIndexSelect -h $EXPLOR_AREA/Data/UK/Analysis/AffRegion.i  \
                -Sk "Angleterre de l'Est" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/UK/Analysis/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    UK
   |étape=   Analysis
   |type=    indexItem
   |index=    AffRegion.i
   |clé=    Angleterre de l'Est
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022