Suchergebnisse - "Theory of computation Logic Type theory"

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1

    POSITIVE INDUCTIVE-RECURSIVE DEFINITIONS.

    Autoren: GHANI, NEIL MALATESTA, LORENZO FORSBERG, FREDRIK NORDVALL

    Quelle: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 1, p1-21, 21p

    Schlagwörter: INDUCTIVE logic programming, MATHEMATIC morphism, MATHEMATICAL transformations, MATHEMATICAL models, CODING theory

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: