Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal logic
10
Formal methods
7
Algebra
5
Semantics
5
Automata theory
4
Calculations
4
Computer software
4
Artificial intelligence
3
Computational complexity
3
Computer science
3
Formal languages
3
Satisfiability
3
Software engineering
3
Abstracting
2
Automata-based formalisms
2
Automated Legislative Drafting
2
Computational linguistics
2
Computer circuits
2
Contract Verification
2
Design
2
Formal Semantics
2
Formal analysis
2
Formal foundation
2
Laws and legislation
2
Modal logic
2
Model checking
2
Non-trivial
2
Program translators
2
Propositional satisfiability
2
Reconfigurable hardware
2
-
21
-
22
-
23Materias: “...Formal languages...”
SER -
24Materias: “...Formal methods...”
SER -
25
-
26por Cabrer, L., Rivieccio, U., Rodriguez, R.O., Vieira S., Carvalho J.P., Lesot M.-J., Bouchon-Meunier B., Kaymak U., Yager R.R.Materias: “...Formal logic...”
SER