Erscheinungsdatum
Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
    • weitere Filter
    Autor
    Autor
    schwichtenberg, helmut
    (11)
    bauer, friedrich l.
    (2)
    berger, ulrich
    (2)
    steinbrüggen, ralf
    (2)
    bauer, wilfried
    (1)
    brauer, wilfried
    (1)
    clote, peter g.
    (1)
    wainer, stanley s.
    (1)
    Verlag / Hersteller
    Verlag / Hersteller
    springer berlin heidelberg
    (7)
    springer netherlands
    (2)
    Verlag
    Verlag
    springer berlin heidelberg
    (7)
    springer netherlands
    (2)
    Buchtyp
    Buchtyp
    softcover
    (6)
    hardcover
    (5)
    Genre
    Genre
    mathematik
    (7)
    medizin
    (7)
    naturwissenschaften
    (7)
    technik
    (7)
    Schlagwort
    Schlagwort
    logic
    (10)
    informatik
    (8)
    edv
    (7)
    theory of computation
    (6)
    computer
    (5)
    semantics
    (5)
    complexity
    (4)
    computer system implementation
    (4)
    logik
    (4)
    mathematical logic and formal languages
    (4)
    proof theory
    (4)
    prooftheory
    (4)
    software engineering
    (4)
    theoretische informatik
    (4)
    automat
    (3)
    automated deduction
    (3)
    automateddeduction
    (3)
    computer communication networks
    (3)
    distributed systems
    (3)
    distributedsystems
    (3)
    logic design
    (3)
    logics and meanings of programs
    (3)
    philosophie
    (3)
    program specification
    (3)
    program verification
    (3)
    programming techniques
    (3)
    programspecification
    (3)
    programverification
    (3)
    software engineering/programming and operating systems
    (3)
    type theory
    (3)
    typentheorie
    (3)
    typetheory
    (3)
    algorithm
    (2)
    algorithms
    (2)
    applications of mathematics
    (2)
    artificial intelligence
    (2)
    complexity theory
    (2)
    complexitytheory
    (2)
    computer science
    (2)
    grundlagen
    (2)
    komplexitätstheorie
    (2)
    mathematical logic and foundations
    (2)
    mathematics
    (2)
    mathematik
    (2)
    model checking
    (2)
    modelchecking
    (2)
    programmiersprachen
    (2)
    programming
    (2)
    verification
    (2)
    abstract data types
    (1)
    abstractdatatypes
    (1)
    algebra
    (1)
    algebraische spezifikation
    (1)
    code
    (1)
    computability
    (1)
    computers
    (1)
    computers - general information
    (1)
    computerscience
    (1)
    concurrency
    (1)
    constraint
    (1)
    deduction
    (1)
    deduktion
    (1)
    development
    (1)
    formal specification
    (1)
    formal verification
    (1)
    formalspecification
    (1)
    formalverification
    (1)
    general
    (1)
    information
    (1)
    intelligenz
    (1)
    isabelle
    (1)
    ki
    (1)
    konstruktive methoden
    (1)
    konstruktivemethoden
    (1)
    künstliche intelligenz
    (1)
    künstliche intelligenz - ai
    (1)
    linear logic
    (1)
    lineare logik
    (1)
    linearelogik
    (1)
    linearlogic
    (1)
    logic programming
    (1)
    logicprogramming
    (1)
    logics
    (1)
    mathematische grundlagen
    (1)
    medical
    (1)
    nebenläufigkeit
    (1)
    network
    (1)
    networks
    (1)
    netzwerk (elektronisch)
    (1)
    programming l
    (1)
    programming languages,
    (1)
    programming languages, compilers, interpr
    (1)
    programming languages, compilers, interpreters
    (1)
    prolog
    (1)
    proof
    (1)
    proving
    (1)
    rechnerarchitektur und logik-entwurf
    (1)
    software-entw.
    (1)
    theorem proving
    (1)
    theoremproving
    (1)
    Erscheinungsjahr
    Erscheinungsjahr
    1993
    (1)
    1999
    (1)
    2000
    (1)
    2002
    (2)
    2011
    (1)
    2012
    (2)
    2013
    (1)
    2014
    (1)
    Ergebnis: 11 Artikel
    Autor: schwichtenberg, helmut

    Datenschutz-Einstellungen