Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    hanus, michael
    (1)
    kirchner, helene
    (1)
    levi, giorgio
    (1)
    rodriguez-artalejo, mario
    (1)
    Genre
    mathematik
    (2)
    medizin
    (2)
    naturwissenschaften
    (2)
    technik
    (2)
    Schlagwort
    algebra
    (2)
    algebraisches programmieren
    (2)
    algebraischesprogrammieren
    (2)
    allgemeines
    (2)
    edv
    (2)
    informatik
    (2)
    logic
    (2)
    logic programming
    (2)
    logik
    (2)
    philosophie
    (2)
    programmieren
    (2)
    programming
    (2)
    theorie
    (2)
    theory of computation
    (2)
    abstract data types
    (1)
    abstract interpretation
    (1)
    abstractdatatypes
    (1)
    abstractinterpretation
    (1)
    abstrakte datentypen
    (1)
    abstrakte interpretation
    (1)
    abstraktedatentypen
    (1)
    abstrakteinterpretation
    (1)
    algebraic programming
    (1)
    algebraiclogicprogramming
    (1)
    algebric programming
    (1)
    algebricogramming
    (1)
    computer system imp
    (1)
    programming language
    (1)
    programminglanguage
    (1)
    resolution
    (1)
    rewriting systems
    (1)
    rewritingsystems
    (1)
    semantics
    (1)
    software engineering
    (1)
    software engineering/programming and o
    (1)
    software engineering/programming and operating systems
    (1)
    term rewriting
    (1)
    termrewriting
    (1)
    theorem proving
    (1)
    theoremproving
    (1)
    theoretische informatik
    (1)
    type systems
    (1)
    typensysteme
    (1)
    typesystems
    (1)
    Erscheinungsjahr
    1992
    (1)
    1996
    (1)

    Datenschutz-Einstellungen