Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
alexander raschke
(1)berg, imme van den
(1)bernd mahr
(1)butler, steve
(1)bühler, wolfgang
(1)dybjer, p.
(1)egon börger
(1)f. cornelius
(1)feichtinger, gustav
(1)graham, ronald l.
(1)hartl, richard f.
(1)hartmut ehrig
(1)heldal, rogardt
(1)holst, carsten k.
(1)ivo van horebeek
(1)johan lewi
(1)lindström, sten
(1)martin große-rhode
(1)nesetril, jaroslav
(1)neves, vitor
(1)p. zeitz
(1)palmgren, erik
(1)pfenning, frank
(1)radermacher, franz josef
(1)stähly, paul
(1)sundholm, b. g.
(1)wadler, philip
(1)Schlagwort
mathematical logic and foundation
(9)edv
(5)informatik
(5)allgemeines
(4)mathematical logic and formal languages
(4)mathematik
(4)programming languages, compilers, interpreters
(3)software engineering
(3)theorie
(3)design
(2)lexika
(2)logic
(2)logics and meanings of programs
(2)logik
(2)optimization
(2)programmieren
(2)theory of computation
(2)wirtschaft
(2)abstract state machines
(1)abstraction, modeling and modularity
(1)abstractstatemachines
(1)abstrakte datentypen
(1)abstraktedatentypen
(1)additive representation functions
(1)additiverepresentationfunctions
(1)algebraische spezifikation
(1)algebraische struktur
(1)algebraische strukturen und spezifikation
(1)algebraischespezifikation
(1)algebraischestrukturen
(1)algebraischestrukturenundspezifikation
(1)analysis
(1)artificial intelligence
(1)axiom of choice (zfc)
(1)axiomofchoice(zfc)
(1)business process management
(1)business process modeling
(1)calculus
(1)category theoretic foundations
(1)categorytheoreticfoundations
(1)combinat
(1)combinatorial optimization
(1)combinatorialoptimization
(1)combinatorics
(1)complexity
(1)constraint
(1)constructive type theory
(1)constructivetypetheory
(1)data structures
(1)datastructures
(1)datenstruktur
(1)datenstrukturen
(1)datentyp
(1)debugging
(1)decision model
(1)decision problem
(1)decision theory
(1)decisionmodel
(1)decisionproblem
(1)decisiontheory
(1)differential equation
(1)differential equations
(1)differentialequation
(1)differentialequations
(1)dummett
(1)education
(1)erdos existence argument
(1)erdos–turán
(1)erd¿sexistenceargument
(1)erd¿s¿turán
(1)extremal theory
(1)extremaltheory
(1)fehlerbehandlung
(1)formal specification
(1)formalspecification
(1)functional programming
(1)functionalpartialevaluation
(1)fuzzy sets
(1)fuzzysets
(1)gentzen
(1)graph theory
(1)grundlagen der informatik
(1)grundlagenderimplementierung
(1)implementierung
(1)incidence problems
(1)incidenceproblems
(1)infinitesimals
(1)informatik, computer
(1)intuitionism
(1)kategorientheorie
(1)knowledge
(1)lambda calculus
(1)lambdacalculus
(1)language
(1)likelihood
(1)linear optimization
(1)linearoptimization
(1)logische kalküle
(1)logischekalküle
(1)martin-löf
(1)Ergebnis: 9 Artikel
Schlagwort: mathematical logic and foundation
