Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
  • weitere Filter
    Autor
    brünnler, kai
    (1)
    metcalfe, george
    (1)
    peter baumgartner
    (1)
    Genre
    mathematik
    (2)
    medizin
    (2)
    naturwissenschaften
    (2)
    technik
    (2)
    Schlagwort
    artificial intelligence
    (2)
    connection calculus
    (2)
    intelligenz
    (2)
    ki
    (2)
    künstliche intelligenz
    (2)
    künstliche intelligenz - ai
    (2)
    ai logics
    (1)
    ailogics
    (1)
    analysis
    (1)
    anwendungen
    (1)
    anwendungs-software
    (1)
    artificialintelligence
    (1)
    automat
    (1)
    automated deduction
    (1)
    automated reasoning
    (1)
    automateddeduction
    (1)
    automatedreasoning
    (1)
    betrieb, verwaltung
    (1)
    calculus
    (1)
    connectioncalculus
    (1)
    datenverarbeitung
    (1)
    decision procedures
    (1)
    edv
    (1)
    fertigungstechnik
    (1)
    first-order logic
    (1)
    hybrid logic
    (1)
    inference systems
    (1)
    inferencesystems
    (1)
    informatik
    (1)
    informatik, computer
    (1)
    intelligence
    (1)
    logical calculi
    (1)
    logicalcalculi
    (1)
    logics and meanings of programs
    (1)
    logik
    (1)
    maschinenbau
    (1)
    mathematical logic and formal l
    (1)
    mathematical logic and formal languages
    (1)
    mathematical logic and foundatio
    (1)
    mathematik
    (1)
    programming techniques
    (1)
    proof theory
    (1)
    roboter - robotik - industrieroboter
    (1)
    robotics and automation
    (1)
    robotik
    (1)
    software engineering
    (1)
    software-entw.
    (1)
    technik
    (1)
    theorie
    (1)
    theory of computation
    (1)
    Erscheinungsjahr
    1998
    (1)
    2011
    (1)

    Datenschutz-Einstellungen