AffRegion.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

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 indexed by Angleterre de l'Est

Number of relevant bibliographic references: 9.
Ident.Authors (with country if any)Title
002F42 (2010) Christoph Benzmueller ; Lawrence C. Paulson [Royaume-Uni]Multimodal and intuitionistic logics in simple type theory
004B98 (2007) Bernhard Beckert [Allemagne] ; Lawrence C. Paulson [Royaume-Uni]Preface
005413 (2006) Ian James [Royaume-Uni]Phenomenology in Diaspora
005621 (2006) JIA MENG [États-Unis] ; Claire Quigley [États-Unis] ; Lawrence C. Paulson [États-Unis]Automation for interactive proof : First prototype
006C01 (2004) Jia Meng [Royaume-Uni] ; Lawrence C. Paulson [Royaume-Uni]Experiments on Supporting Interactive Proof Using Resolution
007966 (2003) 1patrick Langdon [Royaume-Uni] ; Ray Adams [Royaume-Uni] ; P. John Clarkson [Royaume-Uni]Universal Access to Assistive Technology through Client-Centred Cognitive Assessment
007A50 (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
00CC96 (1994) Monica Nesi [Royaume-Uni] ; Valeria De Paiva [Royaume-Uni] ; Eike Ritter [Royaume-Uni]Rewriting properties of combinators for rudimentary linear logic
00E037 (1989) Tobias Nipkow [Royaume-Uni]Term rewriting and beyond — theorem proving in Isabelle

List of associated Author.i

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

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

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

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |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