| Programmation linéaire < Programmation logique < Programmation logique avec contrainte | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 6.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 004412 (2005) | YIN HUA LI [Australie] ; Salima Benbernou [France] | Representing and reasoning about privacy abstractions |
| 004513 (2005) | Thomas Meyer [Australie] ; Pilar Pozos Parra [Australie] ; Laurent Perrussel [France] | Mediation using m-states |
| 004D86 (2003) | Vitaly Lagoon [Australie] ; Fred Mesnard [France] ; Peter J. Stuckey [Australie] | Termination analysis with types is more accurate |
| 005B61 (2000) | M. W. Bunder [Australie] | Proof finding algorithms for implicational logics |
| 005E42 (1999) | S. Demri [France] ; R. Gore [Australie] | Tractable transformations from modal provability logics into first-order logic |
| 006215 (1998) | T. Armstrong [Australie] ; K. Marriott [Australie] ; P. Schachte [Australie] ; H. S Ndergaard [Australie] | Two classes of Boolean functions for dependency analysis |
List of associated Author.i
| Nombre de documents | Descripteur |
|---|---|
| 1 | Fred Mesnard |
| 1 | H. S Ndergaard |
| 1 | K. Marriott |
| 1 | Laurent Perrussel |
| 1 | M. W. Bunder |
| 1 | P. Schachte |
| 1 | Peter J. Stuckey |
| 1 | Pilar Pozos Parra |
| 1 | R. Gore |
| 1 | S. Demri |
| 1 | Salima Benbernou |
| 1 | T. Armstrong |
| 1 | Thomas Meyer |
| 1 | Vitaly Lagoon |
| 1 | YIN HUA LI |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Asie/explor/AustralieFrV1/Data/PascalFrancis/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Programmation logique"
HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i \
-Sk "Programmation logique" \
| HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Asie
|area= AustralieFrV1
|flux= PascalFrancis
|étape= Checkpoint
|type= indexItem
|index= FC03.fr.i
|clé= Programmation logique
}}
| This area was generated with Dilib version V0.6.33. |  |