skip to main content
Idioma:
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic Colloquium 2006
Logic Colloquium 2006
Logic Colloquium 2006
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Colloquium 2006

Logic Colloquium S. Barry Cooper; Herman Geuvers; Anand Pillay; Jouko Väänänen Anand Pillay Herman Geuvers Jouko Väänänen; Association for Symbolic Logic.

Cambridge University Press 2009

Acesso online. A biblioteca também possui exemplares impressos.

2
Generalized quantifiers and computation
Generalized quantifiers and computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Generalized quantifiers and computation

European Summer school in Logic: language and information, ESSLLI'97 Workshop, 9 1997 Aix-en-Provence Jouko Vaananen

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1999

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1754 )(Acessar)

3
Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures
Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures

European Summer School in Logic, Language, and Information (9th 1997 Aix-en Provence, France) J Väänänen 1950- (Jouko)

Berlin Springer New York c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1754 e.1 )(Acessar)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.