Serie
Serie
lecture notes in computer science
(4)
workshops in computing
(3)
Erscheinungsdatum
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
    • weitere Filter
    Autor
    Autor
    clement, timothy p.
    (2)
    lau, kung-kiu
    (2)
    deville, yves
    (1)
    fribourg, laurent
    (1)
    fuchs, norbert
    (1)
    gallagher, john
    (1)
    proietti, maurizio
    (1)
    turini, franco
    (1)
    Verlag / Hersteller
    Verlag / Hersteller
    springer berlin heidelberg
    (4)
    springer london
    (3)
    Verlag
    Verlag
    springer berlin heidelberg
    (4)
    springer london
    (3)
    Genre
    Genre
    mathematik
    (7)
    medizin
    (7)
    naturwissenschaften
    (7)
    technik
    (7)
    Schlagwort
    Schlagwort
    edv
    (7)
    informatik
    (7)
    logic
    (7)
    program synthesis
    (7)
    programsynthesis
    (7)
    logic programming
    (6)
    logicprogramming
    (5)
    program transformation
    (5)
    programming
    (5)
    programtransformation
    (5)
    computerprogrammierung und softwareentwicklung
    (4)
    logics and meanings of programs
    (4)
    mathematical logic and formal languages
    (4)
    programming techniques
    (4)
    theory of computation
    (4)
    algorithms
    (3)
    artificial intelligence
    (3)
    optimization
    (3)
    complexity
    (2)
    development
    (2)
    logik
    (2)
    mathematical logic and foundations
    (2)
    philosophie
    (2)
    program analysis
    (2)
    programanalysis
    (2)
    programmiersprachen
    (2)
    programming language
    (2)
    programmsynthese
    (2)
    proving
    (2)
    semantics
    (2)
    software
    (2)
    theorie
    (2)
    allgemeines
    (1)
    behavior
    (1)
    computer science logic and foundations of programming
    (1)
    database
    (1)
    debugging
    (1)
    design
    (1)
    evolution
    (1)
    formal specification
    (1)
    formalspecification
    (1)
    horn clauses
    (1)
    horn-klauseln
    (1)
    hornclauses
    (1)
    inductive logic programming
    (1)
    inductive synthesis
    (1)
    inductiveogramming
    (1)
    inductivesynthesis
    (1)
    induktives logisches programmieren
    (1)
    induktiveslogischesprogrammieren
    (1)
    language
    (1)
    logic programming synthesis
    (1)
    logic programming transformation
    (1)
    logikprogrammierung
    (1)
    logisches programmieren
    (1)
    logischesprogrammieren
    (1)
    lopstr
    (1)
    mathemat
    (1)
    mathematik
    (1)
    meta-programmieren
    (1)
    meta-programming
    (1)
    ogramming
    (1)
    ogrammingsynthesis
    (1)
    ogrammingtransformation
    (1)
    parallelism
    (1)
    partial deduction
    (1)
    partialdeduction
    (1)
    partielle deduktion
    (1)
    partiellededuktion
    (1)
    productivity
    (1)
    program development
    (1)
    program enhancement
    (1)
    program manipulation
    (1)
    program semantics
    (1)
    program verification
    (1)
    programdevelopment
    (1)
    programenhancement
    (1)
    programmanipulation
    (1)
    programmier
    (1)
    programmier- und skriptsprachen,
    (1)
    programmier- und skriptsprachen, allgemein
    (1)
    programming l
    (1)
    programming languages, compilers, interpreters
    (1)
    programminglanguag
    (1)
    programminglanguage
    (1)
    programmsemantik
    (1)
    programmtransformation
    (1)
    programsemantics
    (1)
    programverification
    (1)
    prolog
    (1)
    synthese
    (1)
    theorem proving
    (1)
    theoretische informatik
    (1)
    transformation (mathematisch)
    (1)
    variable
    (1)
    verificati
    (1)
    verification
    (1)
    Erscheinungsjahr
    Erscheinungsjahr
    1992
    (1)
    1993
    (1)
    1994
    (2)
    1996
    (1)
    1997
    (1)
    1998
    (1)

    Datenschutz-Einstellungen