Sprache
englisch
(2)
deutsch
(1)
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    jürgen avenhaus
    (1)
    stephen l. bloom
    (1)
    wolfgang wechler
    (1)
    zoltan esik
    (1)
    Genre
    mathematik
    (3)
    medizin
    (3)
    naturwissenschaften
    (3)
    technik
    (3)
    Schlagwort
    algebraische semantik
    (3)
    edv
    (3)
    informatik
    (3)
    logics and meanings of programs
    (3)
    algebra
    (2)
    algebraischesemantik
    (2)
    computer science
    (2)
    computerprogrammierung und softwareentwicklung
    (2)
    computerscience
    (2)
    notation
    (2)
    semantics
    (2)
    theory of computation
    (2)
    abstrakte datentypen
    (1)
    abstraktedatentypen
    (1)
    abstrakter datentyp
    (1)
    abstrakterdatentyp
    (1)
    algebraic semantics
    (1)
    algebraische spezifikation
    (1)
    algebraischespezifikation
    (1)
    algorithms
    (1)
    allgemeines
    (1)
    artificial intelligence
    (1)
    assoziativgesetz
    (1)
    automata
    (1)
    automatisches beweisen
    (1)
    automatischesbeweisen
    (1)
    beweis
    (1)
    bisimulation
    (1)
    chesemantik
    (1)
    datastructures
    (1)
    development
    (1)
    fixed point theory
    (1)
    fixedpointtheory
    (1)
    fixpiont methods
    (1)
    fixpiontmethods
    (1)
    fixpunkt (math.)
    (1)
    fixpunkt(math.)
    (1)
    fixpunkttheorie
    (1)
    formal language
    (1)
    formallanguage
    (1)
    gleichung
    (1)
    iteration
    (1)
    knuth-bendix-vervollständigung
    (1)
    logic
    (1)
    mathemati
    (1)
    mathematical logic and formal languages
    (1)
    mathematical logic and foundations
    (1)
    programming language
    (1)
    programming languages
    (1)
    programminglanguage
    (1)
    programminglanguages
    (1)
    proof
    (1)
    rechnen
    (1)
    reduktionssysteme
    (1)
    relationen
    (1)
    software engineering
    (1)
    software engineering/programming and operating systems
    (1)
    symbolic and algebra
    (1)
    term rewriting
    (1)
    termersetzung
    (1)
    termersetzungssysteme
    (1)
    termrewriting
    (1)
    theoretische informatik
    (1)
    theorie
    (1)
    Erscheinungsjahr
    1995
    (1)
    2011
    (1)
    2012
    (1)

    Datenschutz-Einstellungen