Toon 2.121 - 2.130 resultaten van 2.262 Voor zoekopdracht '"Logic."', zoektijd: 0,21s Verfijn jouw resultaten
  1. 2121

    Monadic datalog and the expressive power of languages for Web information extraction. door Gottlob, Georg

    Gepubliceerd in Journal of the ACM
    Artikel

    Monadic datalog and the expressive power of languages for Web information extraction.
  2. 2122

    Deciding first-order properties of locally tree-decomposable structures. door Frick, Markus

    Gepubliceerd in Journal of the ACM
    Artikel

    Deciding first-order properties of locally tree-decomposable structures.
  3. 2123

    Register-machine based processes. door Bergstra, Jan A.

    Gepubliceerd in Journal of the ACM
    Artikel

    Register-machine based processes.
  4. 2124

    Static analysis in datalog extensions. door Halevy, Alon Y.

    Gepubliceerd in Journal of the ACM
    Artikel

    Static analysis in datalog extensions.
  5. 2125

    Logics with aggregate operators. door Hella, Lauri

    Gepubliceerd in Journal of the ACM
    Artikel

    Logics with aggregate operators.
  6. 2126

    Objects objects everywhere. door Manion, Todd M.

    Artikel

    Objects objects everywhere.
  7. 2127

    Extracting semantic metadata and its visualization. door Lee, Dongwon

    Artikel

    Extracting semantic metadata and its visualization.
  8. 2128

    Non-null references by default in the Java modeling language. door Chalin, Patrice

    Gepubliceerd in Software engineering notes.
    Artikel

    Non-null references by default in the Java modeling language.
  9. 2129

    Specification and design of component-based coordination systems by integrating coordination patterns. door Pérez-Serrano, Pedro L.

    Gepubliceerd in Software engineering notes.
    Artikel

    Specification and design of component-based coordination systems by integrating coordination patterns.
  10. 2130

    Constraint satisfaction techniques for diagnosing errors in design by contract software. door Ceballos, Rafael

    Gepubliceerd in Software engineering notes.
    Artikel

    Constraint satisfaction techniques for diagnosing errors in design by contract software.

Zoekinstrumenten: