Erscheinungsdatum
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
    • weitere Filter
    Autor
    Autor
    hanus, michael
    (2)
    kirchner, helene
    (2)
    levi, giorgio
    (2)
    rodriguez-artalejo, mario
    (2)
    wechler, wolfgang
    (2)
    grabowski, jan
    (1)
    heering, jan
    (1)
    jan grabowski
    (1)
    lescanne, pierre
    (1)
    meinke, karl
    (1)
    pierre lescanne
    (1)
    wolfgang wechler
    (1)
    Genre
    Genre
    mathematik
    (7)
    medizin
    (7)
    naturwissenschaften
    (7)
    technik
    (7)
    Schlagwort
    Schlagwort
    edv
    (6)
    informatik
    (6)
    logic
    (6)
    programming
    (6)
    allgemeines
    (5)
    logik
    (5)
    philosophie
    (5)
    programmieren
    (5)
    theorie
    (5)
    algebra
    (4)
    logic programming
    (4)
    proving
    (4)
    theory of computation
    (4)
    algebraic programming
    (3)
    algebraisches programmieren
    (3)
    semantics
    (3)
    software engineering
    (3)
    software engineering/programming and operating systems
    (3)
    theorem proving
    (3)
    theoremproving
    (3)
    algebraischesprogrammieren
    (2)
    algorithms
    (2)
    artificial intelligence
    (2)
    logics and meanings of programs
    (2)
    mathematical logic and formal languages
    (2)
    mathematical logic and foundations
    (2)
    programming language
    (2)
    programminglanguage
    (2)
    resolution
    (2)
    abstract data types
    (1)
    abstract interpretation
    (1)
    abstractdatatypes
    (1)
    abstractinterpretation
    (1)
    abstrakte datentypen
    (1)
    abstrakte interpretation
    (1)
    abstraktedatentypen
    (1)
    abstrakteinterpretation
    (1)
    algebraicfunctionalhigherorder logic
    (1)
    algebraiclogicprogramming
    (1)
    algebric programming
    (1)
    algebricogramming
    (1)
    algorithm
    (1)
    automat
    (1)
    automata
    (1)
    benutzeroberflächen
    (1)
    betriebssysteme
    (1)
    calculus
    (1)
    compiler und übersetzer
    (1)
    complexity
    (1)
    computer system imp
    (1)
    computer system implementation
    (1)
    constraint logic programming
    (1)
    constraintogramming
    (1)
    functional programming
    (1)
    fuzzy
    (1)
    gebraicalgebraischesprogrammieren
    (1)
    higher order logics
    (1)
    higher-order programming
    (1)
    higher-orderprogramming
    (1)
    höherstufiges programmieren
    (1)
    höherstufigesprogrammieren
    (1)
    intelligenz
    (1)
    ki
    (1)
    kommunikation
    (1)
    künstliche intelligenz
    (1)
    künstliche intelligenz (ki)
    (1)
    künstliche intelligenz - ai
    (1)
    logicprogramming
    (1)
    mathematical log
    (1)
    natur
    (1)
    natur und technik
    (1)
    operating systems
    (1)
    optimization
    (1)
    processing
    (1)
    programmier- und skriptsprachen, allgemein
    (1)
    programmiersprachen
    (1)
    programmierung
    (1)
    programming languages, compilers, interpreters
    (1)
    programming techniques
    (1)
    rewriting systems
    (1)
    rewritingsystems
    (1)
    software engineering/programming and o
    (1)
    sonstiges
    (1)
    technik
    (1)
    term rewri
    (1)
    term rewriting
    (1)
    termrewri
    (1)
    termrewriting
    (1)
    th
    (1)
    theoretische informatik
    (1)
    type systems
    (1)
    typensysteme
    (1)
    typesystems
    (1)
    Erscheinungsjahr
    Erscheinungsjahr
    1989
    (2)
    1990
    (1)
    1992
    (1)
    1994
    (1)
    1996
    (1)
    1997
    (1)

    Datenschutz-Einstellungen