Serie
lecture notes in computer science
(4)
theoretical computer science and general issues
(3)
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    carles noguera
    (2)
    petr cintula
    (2)
    hiroakira ono
    (1)
    muscholl, anca
    (1)
    naumann, david
    (1)
    peters, james f.
    (1)
    ribeiro, pedro
    (1)
    sampaio, augusto
    (1)
    skowron, andrzej
    (1)
    walter alexandr carnielli
    (1)
    wolfgang wechler
    (1)
    Verlag / Hersteller
    springer berlin heidelberg
    (3)
    springer international publishing
    (4)
    Verlag
    springer berlin heidelberg
    (3)
    springer international publishing
    (4)
    Genre
    mathematik
    (5)
    medizin
    (5)
    naturwissenschaften
    (5)
    technik
    (5)
    geisteswissenschaften
    (2)
    kunst
    (2)
    musik
    (2)
    Schlagwort
    algebraic semantics
    (10)
    algebraicsemantics
    (7)
    edv
    (6)
    informatik
    (6)
    algebraic logic
    (3)
    allgemeines
    (3)
    computer science
    (3)
    computerscience
    (3)
    lexika
    (3)
    philosophie
    (3)
    program semantics
    (3)
    abstract algebraic logic
    (2)
    algebraiclogic
    (2)
    completeness theorems
    (2)
    formal methods
    (2)
    formalmethods
    (2)
    generalizeddisjunctions
    (2)
    logical connectives
    (2)
    logical matrices
    (2)
    logicalmatrices
    (2)
    non-classical logics
    (2)
    non-classicallogics
    (2)
    predicate logic
    (2)
    programsemantics
    (2)
    propositional logic
    (2)
    propositionallogic
    (2)
    semanticsandreasoning
    (2)
    substructural logics
    (2)
    weakly implicative logics
    (2)
    weaklyimplicativelogics
    (2)
    abstractalgebraiclogic
    (1)
    abstrakter datentyp
    (1)
    abstrakterdatentyp
    (1)
    algebra
    (1)
    algebra logic
    (1)
    algebraic met
    (1)
    algebraicmethodlogic
    (1)
    algebraicmethodsemanticlogic
    (1)
    algebraicmethodsyntacticlogic
    (1)
    algebraische semantik
    (1)
    algebraische spezifikation
    (1)
    algebraischespezifikation
    (1)
    algebralogic
    (1)
    algorithms
    (1)
    anwendungs-software
    (1)
    approximation spaces
    (1)
    approximationspaces
    (1)
    atomic fo
    (1)
    automated reasoning
    (1)
    automatedreasoning
    (1)
    binary connectives
    (1)
    bisimulation
    (1)
    boolean algebras
    (1)
    categorical semantics
    (1)
    categoricalsemantics
    (1)
    chesemantik
    (1)
    classical logic
    (1)
    classical negation
    (1)
    co-operating
    (1)
    comp
    (1)
    completenesstheorems
    (1)
    complexity theory and logic
    (1)
    complexitytheoryandlogic
    (1)
    computational model
    (1)
    computationalmodel
    (1)
    computer programming
    (1)
    computerprogrammierung und softwareentwicklung
    (1)
    computerprogramming
    (1)
    computing methodologies
    (1)
    computingmethodologies
    (1)
    concurrency
    (1)
    concurrent separation logic
    (1)
    concurrentseparationlogic
    (1)
    consequence relation
    (1)
    csp
    (1)
    cut elimination
    (1)
    da costa
    (1)
    datastructures
    (1)
    decision rules
    (1)
    decisionrules
    (1)
    deduction theorems
    (1)
    deductiontheorems
    (1)
    denotational semantics
    (1)
    denotationalsemantics
    (1)
    development
    (1)
    disjunctive syllogism
    (1)
    diskrete mathematik
    (1)
    feature selection
    (1)
    featureselection
    (1)
    first-orderpredicatelogics
    (1)
    fixpiont methods
    (1)
    fixpiontmethods
    (1)
    fixpunkt (math.)
    (1)
    fixpunkt(math.)
    (1)
    formal software verification
    (1)
    formalsoftwareverification
    (1)
    fuzzy rough sets
    (1)
    fuzzyroughsets
    (1)
    galois connections
    (1)
    galoisconnections
    (1)
    Erscheinungsjahr
    2012
    (1)
    2014
    (1)
    2015
    (1)
    2016
    (1)
    2019
    (3)
    2021
    (1)
    2022
    (2)

    Datenschutz-Einstellungen