Resultados de 1 a 10 de 178 para Acervo Físico
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Disponível na Biblioteca (174)
- Recursos Online (28)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Logic Colloquium 2006Logic 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 2009Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
ExposesRencontre de Geometrie du Schnepfenried, 1982 Societe Mathematique de FranceParis Smf 1983Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 Asteris v.109 v.110 ) e outros locais(Acessar) |
| 3 |
Material Type: Livro
|
|
Handbook of paraconsistencyWorld congress on paraconsistency (03 2003 Toulouse, France) Jean-Yves Béziau; Walter Alexandre Carnielli (1952-....).; Dov M Gabbay (1945-....).London College publications cop.2007Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (160 He236 )(Acessar) |
| 4 |
Material Type: Livro
|
|
Labelled DeductionDov M. Barwise, John Spurr, Jane Gabbay John Barwise; David Basin; M D'Agostino; Dov M Gabbay; Seán Matthews; Jane Spurr; Luca ViganòSpringer Netherlands 2000Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Livro
|
|
Tits Buildings and the Model Theory of GroupsKatrin Tent Haynes R MillerCambridge Cambridge University Press 2002Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Livro
|
|
Truth and Its Nature (if Any)Jaakko Davidson, Donald Hintikka Donald Davidson; Dirk van DalenSpringer Netherlands 1999Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Livro
|
|
Model Theory of Groups and Automorphism Groups: Blaubeuren, August 1995David M. Evans David Mark Evans; N. J HitchinCambridge Cambridge University Press 1997Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Livro
|
|
Logic Colloquium 1992Logic Colloquium '92 (1992 : Veszprém, Hungary) László Csirmaz; Dov M Gabbay 1945-; Maarten de Rijke; Center for the Study of Language and Information (U.S.); European Foundation for Logic, Language, and InformationStanford, Calif CSLI FoLLI 1995Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (511.3 L832L )(Acessar) |
| 9 |
Material Type: Livro
|
|
Analysis and logicC.Ward Henson José Iovino Alexander S. Kechris Catherine Finet Christian Michaux Edward Odell; Catherine Finet José Iovino; Christian Michaux; Alexander S Kechris; Edward OdellCambridge Cambridge University Press 2002Acesso online. A biblioteca também possui exemplares impressos. |
| 10 |
Material Type: Livro
|
|
Logic, Artificial Intelligence and Robotics procedings of Logic Applied to Technology - Laptec' 2001, São Paulo, Brazil, Nov. 12th to 14th, 2001Congress of Logic Applied to Technology, 2 Laptec'2001 (2nd 2001 São Paulo, Brazil) Jair Minoro Abe; João Inácio Silva FilhoSão Paulo Faculdade SENAC de Ciências Exatas e Tecnologia 2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 C749 2001 v.2 e.1 )(Acessar) |
Resultados de 1 a 10 de 178 para Acervo Físico
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
- Disponível na Biblioteca (174)
- Recursos Online (28)
Assunto
- Lógica Matemática (Congressos) (75)
- Programação Lógica (Congressos) (50)
- Técnicas De Programação (Congressos) (42)
- Logic, Symbolic And Mathematical (33)
- Logic Programming (28)
- Lógica (Congressos) (24)
- Inteligência Artificial (Congressos) (20)
- Metodologia E Técnicas De Computação (19)
- Teoria Dos Modelos (Congressos) (17)
- Logic (16)
- Teoria Dos Conjuntos (Congressos) (15)
- Lógica Simbólica (Congressos) (12)
- Teoria Da Computação (12)
- Lógica (10)
- Teoria Descritiva Dos Conjuntos (Congressos) (10)
- Filosofia Da Ciência (Congressos) (10)
- Teoria Da Demonstração (Congressos) (9)
- Metodologia Científica (Congressos) (9)
- Teoria Da Recursão (Congressos) (9)
- Lógica Matemática (9)
-
Mais opções
Autor/Criador
- Logic Colloquium (10)
- Association for Symbolic Logic (7)
- International Congress of Logic, M (6)
- Workshop on Computer Science Logic (6)
- International Workshop on Programming Languages Implementation and Logic Programming (5)
- Congress of Logic Applied to Technology (4)
- Cooper, S (4)
- Gabbay, D (4)
- Bruynooghe, M (4)
- Löwe, B (4)
- Voronkov, A (4)
- International Joint Conference on Theory and Practice of Software Development (4)
- European Symposium on Medieval Logic and Semantics (3)
- Conference on Computability in Europe (3)
- IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (3)
- Hermenegildo, M (3)
- International Conference on Logic Programming (3)
- Abe, J (3)
- International Workshop on Applications of Kleene Algebra (3)
- European Association for Computer Science Logic Conference (3)
-
Mais opções
Data de Publicação
- Antes de1981 (9)
- 1981Até1990 (12)
- 1991Até1997 (43)
- 1998Até2005 (66)
- Após 2005 (48)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (131)
- ICMC - Inst. Ciên. Mat. Computação (82)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (44)
- IFSC - Inst. Física de São Carlos (9)
- FEA - Fac. Econ. Adm. Contab. e Atuária (2)
- IF - Instituto de Física (2)
- FD - Fac. Direito (2)
- EACH - Esc. Artes, Ciências e Humanidades (1)
- ESALQ - Biblioteca Central (1)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (1)
- EPBC - Esc. Politécnica-Bib Central (1)
- FE - Faculdade de Educação (1)
-
Mais opções
Idioma
- Inglês (161)
- Francês (15)
- Alemão (8)
- Italiano (6)
- Português (3)
- Espanhol (3)
- Vários idiomas (1)
- Latim (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 