Erscheinungsdatum
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
    • weitere Filter
    Schlagwort
    Schlagwort
    abstract
    (2)
    abstract type
    (2)
    automated theorem proving
    (2)
    binary search tree
    (2)
    computers
    (2)
    deduction
    (2)
    deduction tree
    (2)
    empty list
    (2)
    equ
    (2)
    false false
    (2)
    first order reasoning
    (2)
    form
    (2)
    functional language
    (2)
    herbrand universe
    (2)
    inference rule
    (2)
    logic programming foundations
    (2)
    manual proof construction techniques
    (2)
    negation
    (2)
    negation normal form
    (2)
    normal
    (2)
    prolog language applications
    (2)
    proof strategies
    (2)
    proof tree
    (2)
    propositional calculus
    (2)
    semantic
    (2)
    semantic tableau
    (2)
    sld
    (2)
    tableau
    (2)
    trees
    (2)
    truth
    (2)
    type
    (2)
    computer science
    (1)
    computers - languages
    (1)
    funkti
    (1)
    funktionale programmierung
    (1)
    object oriented
    (1)
    programming
    (1)

    Datenschutz-Einstellungen