Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
goguen, joseph a.
(2)graeme smith
(2)kaufmann, matt
(2)malcolm, grant
(2)manolios, panagiotis
(2)moore, j. strother
(2)Schlagwort
artificial intelligence
(6)edv
(6)informatik
(6)künstliche intelligenz
(6)programming languages, compilers, interpreters
(6)software engineering
(6)computer science, general
(4)formal specification
(4)formalspecification
(4)language
(4)software engineering/programming and operating systems
(4)programmiersprachen
(3)software-entw.
(3)theorie
(3)algebra
(2)artificialintelligence
(2)attribut
(2)automated reasoning
(2)automatedreasoning
(2)compiler
(2)computer
(2)computer graphics
(2)computergraphics
(2)design
(2)functions
(2)hardware
(2)inheritance
(2)intelligence
(2)microprocessor
(2)object
(2)polymorphism
(2)programming
(2)programming language
(2)programminglanguage
(2)self
(2)semantics
(2)software
(2)softwareengineering
(2)standards
(2)system development
(2)term rewriting
(2)text
(2)verification
(2)s
(1)software engineering/programming and operating
(1)systemdevelo
(1)systemdevelopment
(1)termrewriting
(1)Ergebnis: 6 Artikel
Label: advances in formal methods
