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
-
1Materias: “...Formal specification...”
SER -
2Materias: “...Formal methods...”
SER -
3Materias: “...Formal foundation...”
SER -
4Materias: “...Automata-based formalisms...”
SER -
5
-
6Materias: “...Formal methods...”
SER -
7Materias: “...Lightweight formal methods...”
SER -
8
-
9Materias: “...Formal logic...”
SER -
10
-
11
-
12Materias: “...Formal analysis...”
SER -
13Materias: “...Formal Semantics...”
SER -
14Materias: “...Formal languages...”
SER -
15Materias: “...Formal power series...”
SER -
16Materias: “...Formal methods...”
SER -
17Materias: “...Formal foundation...”
SER -
18Materias: “...Formal verifications...”
SER -
19
-
20Materias: “...Formal logic...”
SER