Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur l'OCR - Exploration (Accueil)

Index « Titre (en) » - entrée « logic »
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.
logging < logic < logical  Facettes :

List of bibliographic references indexed by logic

Number of relevant bibliographic references: 19.
Ident.Authors (with country if any)Title
000957 (2009) Olivia Mendoza [Mexique] ; Patricia Melin [Mexique] ; Guillermo Licea [Mexique]Interval type‐2 fuzzy logic for edges detection in digital images
001554 (2004) J. He [Royaume-Uni] ; C. Downton [Royaume-Uni]Configurable Text Stamp Identification Tool with Application of Fuzzy Logic
001671 (2003) Ulrich Geske [Allemagne] ; Dietmar Seipel [Allemagne]Introduction to Part III: Decision Support by Advanced Logic Programming
001821 (2002) Jacqueline Castaing [France]Non-commutative Logic for Hand-Written Character Modeling
001A18 (2001) Stefano Ferilli [Italie] ; Nicola Fanizzi [Italie] ; Giovanni Semeraro [Italie]Learning Logic Models for Automated Text Categorization
001A62 (2001) Moti Schneider [Israël] ; Horst Bunke [Suisse] ; Abraham Kandel [États-Unis]Using fuzzy logic to match strings in documents
001B47 (2001) Giovanni Semeraro [Italie] ; Stefano Ferilli [Italie] ; Nicola Fanizzi [Italie] ; Floriana Esposito [Italie]Document Classification and Interpretation through the Inference of Logic-Based Models
001C13 (2001) A. Kacem [Tunisie] ; Abdel Belaïd [France] ; M. Ben Ahmed [Tunisie]Automatic extraction of printed mathematical formulas using fuzzy logic and propagation of context
001C36 (2000) F. Tjong Kim Sang [Belgique] ; John Nerbonne [Pays-Bas]Learning the Logic of Simple Phonotactics
002848 (1996) C. González-Moreno [Espagne] ; T. Hortalá-González [Espagne] ; J. L Pez-Fraguas [Espagne] ; M. Rodríguez-Artalejo [Espagne]A rewriting logic for declarative programming
002D94 (1994) Ching-Tsun Chou [États-Unis]Predicates, temporal logic, and simulations
002E36 (1994) Alexander Aiken [États-Unis] ; K. Lakshman [États-Unis]Directional type checking of logic programs
003155 (1993) Andrea Corradini [Italie] ; Andrea Asperti [France]A categorical model for logic programs: Indexed monoidal categories
003333 (1992) G. Kolaitis [États-Unis] ; Y. Vardi [États-Unis]Infinitary logic for computer science
003371 (1992) Francis Alexandre [France]A technique for transforming logic programs by fold-unfold transformations
003376 (1992) M. Belmesk [France]A process semantics of logic programs
003572 (1991) Alberto Zanardo [Italie]A complete deductive-system for since-until branching-time logic
003684 (1990) Andrea Corradini [Italie] ; Ugo Montanari [Italie]Towards a process semantics in the logic programming style
004025 (1983) Uwe PetermannOn algorithmic logic with partial operations

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/OcrV1/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "logic" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "logic" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Ticri/CIDE
   |area=    OcrV1
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    logic
}}
Wicri

This area was generated with Dilib version V0.6.32.
Data generation: Sat Nov 11 16:53:45 2017. Site generation: Mon Mar 11 23:15:16 2024