1
|
Material Type: Artigo
|
|
Towards structurally-free theorem proving
Marcelo Finger
Logic Journal of the IGPL Oxford v. 6, n. 3, p. 425-449, 1998
Oxford 1998
Localização:
IME - Inst. Matemática e Estatística
(PROD-1032789 )(Acessar)
|
2
|
Material Type: Artigo
|
|
Towards structurally-free theorem proving
Marcelo Finger
Logic Journal of the IGPL Oxford v. 6, n. 3, p. 425-449, 1998
Oxford 1998
Localização:
IME - Inst. Matemática e Estatística
(PROD-1032789 )(Acessar)
|
3
|
Material Type: Artigo de Congresso
|
|
Structurally-free theorem proving and the learning of structural permissions in categorial grammar
Marcelo Finger LACL 98: Logical Aspects of Computational Linguistics (1998 Grenoble)
LACL 98: Logical Aspects of Computational Linguistics Grenoble : Université Pierre Mendes- France, 1998
Grenoble Université Pierre Mendes-France 1998
Item não circula. Consulte sua biblioteca.(Acessar)
|
4
|
Material Type: Livro
|
|
Imperative history two-dimensional executable temporal logic
Marcelo Finger Mark C Reynolds
Ohlbach, Hans Jurgen; Reyle, Uwe, ed Logic, language and reasoning : essays in honour of Dov Gabbay Dordrecht : Springer, 1999
Dordrecht Springer 1999
Localização:
IME - Inst. Matemática e Estatística
(PROD-1084818 ) e outros locais(Acessar)
|
5
|
Material Type: Livro
|
|
Two-dimensional executable temporal logic for bitemporal databases
Marcelo Finger Mark Reynolds
Barringer Howard et al, ed Advances in temporal logic Dordrecht : Springer, 2000
Dordrecht Springer 2000
Localização:
IME - Inst. Matemática e Estatística
(PROD-1024198 ) e outros locais(Acessar)
|
6
|
Material Type: Artigo
|
|
A logical reconstruction of temporal databases
Marcelo Finger
Journal of Logic and Computation Oxford v. 10, n. 6, p. 847-876, 2000
Oxford 2000
Localização:
IME - Inst. Matemática e Estatística
(PROD-1193384 )(Acessar)
|
7
|
Material Type: Artigo
|
|
A logical reconstruction of temporal databases
Marcelo Finger
Journal of Logic and Computation Oxford v. 10, n. 6, p. 847-876, 2000
Oxford 2000
Localização:
IME - Inst. Matemática e Estatística
(PROD-1193384 )(Acessar)
|
8
|
Material Type: Relatório Técnico
|
|
Tableaux for approximate reasoning
Marcelo Finger Renata Wassermann
São Paulo IME-USP 2001
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 2001 v.04 e.1 ) e outros locais(Acessar)
|
9
|
Material Type: Artigo de Congresso
|
|
Tableaux for approximate reasoning
Marcelo Finger Renata Wassermann; International Joint Conference on Artificial Intelligence - IJCAI (17. 2001 Seatle)
Proceedings Seatle : IJCAI, 2001
Seatle IJCAI 2001
Localização:
IME - Inst. Matemática e Estatística
(PROD-1253528 ) e outros locais(Acessar)
|
10
|
Material Type: Artigo
|
|
The unrestricted combination of temporal logic systems
Marcelo Finger Maria Angela Weiss
Logic Journal of the IGPL Oxford v. 10, n. 2, p. 165-189, 2002
Oxford 2002
Localização:
IME - Inst. Matemática e Estatística
(PROD-1263137 )(Acessar)
|