Erscheinungsdatum
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
    • weitere Filter
    Autor
    Autor
    clive matthews
    (2)
    m. downward
    (2)
    cyrus f. nourani
    (1)
    ieke moerdijk
    (1)
    jaap van oosten
    (1)
    katalin bimbo
    (1)
    Schlagwort
    Schlagwort
    proof tree
    (7)
    computers
    (3)
    abstract
    (2)
    abstract type
    (2)
    automated theorem proving
    (2)
    binary search tree
    (2)
    chart parsing techniques
    (2)
    computational linguistics
    (2)
    deduction
    (2)
    deduction tree
    (2)
    empty
    (2)
    empty list
    (2)
    equ
    (2)
    false false
    (2)
    first order reasoning
    (2)
    follow
    (2)
    form
    (2)
    functional language
    (2)
    herbrand universe
    (2)
    inference rule
    (2)
    input
    (2)
    interpreter
    (2)
    intransitive verb
    (2)
    lexical category
    (2)
    linguistic data modelling
    (2)
    list
    (2)
    logic programming foundations
    (2)
    manual proof construction techniques
    (2)
    negation
    (2)
    negation normal form
    (2)
    nlp
    (2)
    normal
    (2)
    np vp np
    (2)
    phrasal categories
    (2)
    phrase
    (2)
    phrase structure grammar
    (2)
    phrase structure rules
    (2)
    phrase structure tree
    (2)
    prolog
    (2)
    prolog language applications
    (2)
    prolog programming
    (2)
    proof
    (2)
    proof strategies
    (2)
    propositional calculus
    (2)
    recursive transition networks
    (2)
    rules
    (2)
    semantic
    (2)
    semantic tableau
    (2)
    set theory
    (2)
    sld
    (2)
    string
    (2)
    structure
    (2)
    syntactic analysis
    (2)
    tableau
    (2)
    tree
    (2)
    trees
    (2)
    truth
    (2)
    type
    (2)
    vp
    (2)
    ackermann´s function
    (1)
    advanced logic curriculum
    (1)
    affective computing
    (1)
    agent computing
    (1)
    agent signature
    (1)
    algebra
    (1)
    arithmetic
    (1)
    axiom of choice
    (1)
    bm innovation
    (1)
    bpml
    (1)
    business model innovation strategies
    (1)
    business processes
    (1)
    classical logic
    (1)
    completeness theorem
    (1)
    computational logic applications
    (1)
    computer science
    (1)
    computers - general information
    (1)
    computers - languages
    (1)
    cut formula
    (1)
    cut rule
    (1)
    digital transformation
    (1)
    digital twins
    (1)
    facial expression analysis
    (1)
    first order logic
    (1)
    formal logic methods
    (1)
    funkti
    (1)
    funktionale programmierung
    (1)
    game trees
    (1)
    general
    (1)
    generic diagrams
    (1)
    grundlagen
    (1)
    intuitionistic logic
    (1)
    künstliche intelligenz
    (1)
    language arts & disciplines
    (1)
    linear logic
    (1)
    linguistics
    (1)
    logic
    (1)
    logical inference rules
    (1)
    logik
    (1)
    mathematical logic
    (1)
    mathematics
    (1)
    Erscheinungsjahr
    Erscheinungsjahr
    1998
    (3)
    2014
    (1)
    2017
    (1)
    2018
    (1)
    2021
    (1)
    Ergebnis: 7 Artikel
    Schlagwort: proof tree

    Datenschutz-Einstellungen