Results 1 - 10 of 546 for Physical Collection
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
- Available in the Library (535)
- Full Text Online (76)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book
|
|
Linear Logic in Computer ScienceWilliam Tuncel, Selim Parry Thomas Ehrhard; Jean-Yves Girard; Paul Ruet; Philip Scott Jean-Yves Girard Paul Ruet Philip Scott; London Mathematical Society.Cambridge Cambridge University Press 2004Online access. The library also has physical copies. |
| 2 |
Material Type: Book
|
|
Proceedings Fourth Annual Symposium on Logic in Computer ScienceSymposium on Logic in Computer Science (4th 1989 Pacific Grove, Calif.) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.Washington, D.C. Computer Society Press 1989Available at IME - Inst. Matemática e Estatística (QA11.7.C S989p 4 )(GetIt) |
| 3 |
Material Type: Book
|
|
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993Symposium on Logic in Computer Science (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingLos Alamitos, Calif. IEEE Computer Society Press c1993Available at EPBC - Esc. Politécnica-Bib Central (004.42 Ie2L 8. )(GetIt) |
| 4 |
Material Type: Book
|
|
Deontic logic and artificial normative systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedingsInternational Workshop on Deontic Logic in Computer Science (8th 2006 Utrecht, Netherlands) Lou Goble; John-Jules Ch MeyerBerlin Springer-Verlag New York c2006Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4048 ) and other locations(GetIt) |
| 5 |
Material Type: Book
|
|
Mathematical logic in computer science papersColloquium on Mathematical Logic in Computer Science (1978 Salgotarjan) B Domolki; Gergely, T.; Colloquia Mathematica Societatis Janos Bolyai, 26, Salgotarjan, 1978 (26. 1978 Salgotarjan)Amsterdam North-Holland 1981Available at IME - Inst. Matemática e Estatística (QA11.7.C D673m )(GetIt) |
| 6 |
Material Type: Book
|
|
Deontic logic in computer science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedingsInternational Workshop on Deontic Logic in Computer Science (7th 2004 Madeira, Portugal) Alessio Lomuscio; Donald Nute 1947Berlin Springer New York c2004Online access. The library also has physical copies. |
| 7 |
Material Type: Book
|
|
Logic in computer science modelling and reasoning about systemsMichael Huth Mark RyanCambridge u.a Cambridge University Press 2004Available at IME - Inst. Matemática e Estatística (QA11.7 H979L 2.ed. e.8 )(GetIt) |
| 8 |
Material Type: Book
|
|
Algebra, combinatorics and logic in computer science proceedingsColloquia Mathematica Societatis Janos Bolyai (42. 1983 Budapest) Janos Demetrovics; Katona, Gyula; Salomaa, Arto; Colloquium on Algebra, Combinatorics and Logic inComputer Science (1983 : Gyor)Amsterdam North-Holland 1986Available at IME - Inst. Matemática e Estatística (QA11.7.C D377a v.2 )(GetIt) |
| 9 |
Material Type: Book
|
|
Handbook of logic in computer scienceSamson Abramsky 1953-; Dov M Gabbay 1945-; Thomas S. E Maibaum 1947-Oxford Clarendon New York Oxford University Press 1992-<2000>Available at EPBC - Esc. Politécnica-Bib Central (004 H191 v.4 ) and other locations(GetIt) |
| 10 |
Material Type: Book
|
|
Logic in computer science modelling and reasoning about systemsMichael Huth 1962- Mark Ryan 1962-Cambridge, England Cambridge University Press New York 2000Available at IME - Inst. Matemática e Estatística (QA11.7 H979L )(GetIt) |
Results 1 - 10 of 546 for Physical Collection
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Show only
- Available in the Library (535)
- Full Text Online (76)
Refine My Results
Resource Type
- Books (502)
- Articles (35)
- Academic Productions (5)
- Technical Productions (3)
- Journals (1)
-
More options
Subject
- Inteligência Artificial (152)
- Logic, Symbolic And Mathematical (106)
- Logic Programming (94)
- Lógica Matemática (87)
- Metodologia E Técnicas De Computação (60)
- Teoria Da Computação (51)
- Inteligência Artificial (Congressos) (47)
- Computer Science (46)
- Automatic Theorem Proving (44)
- Artificial Intelligence (38)
- Ciência Da Computação (36)
- Programação Lógica (35)
- Técnicas De Programação (Congressos) (35)
- Programação Lógica (Congressos) (34)
- Técnicas De Programação (33)
- Computer Logic (33)
- Lógica Matemática (Congressos) (31)
- Linguagem De Programação (23)
-
More options
Author/Creator
- Workshop on Computer Science Logic (18)
- Finger, M (16)
- International Conference on Automated Deduction (12)
- International Conference on Conceptual Structures (11)
- Wassermann, R (9)
- Nerode, A (8)
- Voronkov, A (8)
- European Association for Computer Science Logic Conference (8)
- International Workshop on Field-Programmable Logic and Applications (8)
- Hartenstein, R (7)
- Börger, E (7)
- Gabbay, D (6)
- International Colloquium on Grammatical Inference (6)
- International Workshop on Programming Languages Implementation and Logic Programming (6)
- Dix, J (5)
- International Conference on Logic Programming (5)
- Brazilian Symposium on Artificial Intelligence - SBIA (4)
- Schwichtenberg, H (4)
- Wang, D (4)
- Hanus, M (4)
-
More options
Creation Date
- Before1980 (15)
- 1980To1989 (64)
- 1990To1999 (228)
- 2000To2010 (214)
- After 2010 (26)
-
More options
Library
- IME - Inst. Matemática e Estatística (410)
- ICMC - Inst. Ciên. Mat. Computação (318)
- IFSC - Inst. Física de São Carlos (106)
- EPBC - Esc. Politécnica-Bib Central (38)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (15)
- FEA - Fac. Econ. Adm. Contab. e Atuária (9)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (9)
- IF - Instituto de Física (7)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (3)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (2)
- EACH - Esc. Artes, Ciências e Humanidades (1)
- IGC - Instituto de Geociências (1)
- CQ - Conjunto das Químicas (1)
- EESC - Esc. Engenharia de São Carlos (1)
- EPECP - Esc. Politécnica-Bib Eng Civil e Prod (1)
- FE - Faculdade de Educação (1)
-
More options
Language
- English (542)
- Portuguese (5)
- French (2)
-
More options
Journal Title
- Lecture Notes in Computer Science (18)
- Proceedings (17)
- Electronic Notes in Theoretical Computer Science (5)
- Lecture Notes in Artificial Intelligence (4)
- Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday (2)
- Journal of Artificial Society and Social Simulation (2)
- Theoretical Computer Science (2)
- Theoretical computer science Part B Logic, semantics and theory of programming (1)
- South American Journal of Logic (1)
- Communications in Computer and Information Science (1)
- Logic Programming (1)
- Advances in contemporary logic and computer science (1)
- Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I (1)
- Mathematical Structures in Computer Science (1)
- Symbolic and quantitative approaches to reasoning with bncertainty: Proceedings (1)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 