-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14por Carnielli, Walter., Coniglio, Marcelo., Gabbay, Dov M., Gouveia, Paula., Sernadas, Cristina., SpringerLink (Online service)Assuntos: “...Lógica simbólica e matemática....”
Mais informações
Digital -
15
-
16
-
17
-
18
-
19
-
20
-
21por Clark, Alexander, Coste, François, Miclet, Laurent, SpringerLink (Online service), International Colloquium, ICGI 2008Assuntos: “...Lógica simbólica e matemática....”
Mais informações
Digital -
22
-
23por Shankar, Natarajan, Woodcock, Jim, SpringerLink (Online service), International Conference, VSTTE 2008Assuntos: “...Lógica simbólica e matemática....”
Mais informações
Digital -
24
-
25
-
26
-
27
-
28
-
29
-
30
-
31
-
32
-
33
-
34por Bel-Enguix, Gemma, Jiménez-López, M. Dolores, Martín-Vide, Carlos, SpringerLink (Online service)Assuntos: “...Lógica simbólica e matemática....”
Mais informações
Digital -
35
-
36
-
37
-
38
-
39
-
40