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