2 resultados para logiche modali, logiche independence friendly, quantificatori parzialmente ordinati.
em Bulgarian Digital Mathematics Library at IMI-BAS
Filtro por publicador
- JISC Information Environment Repository (1)
- Repository Napier (1)
- Aberdeen University (2)
- Academic Archive On-line (Jönköping University; Sweden) (2)
- Academic Archive On-line (Karlstad University; Sweden) (1)
- Academic Research Repository at Institute of Developing Economies (2)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (1)
- AMS Campus - Alm@DL - Università di Bologna (3)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (19)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (31)
- Aquatic Commons (11)
- Archive of European Integration (14)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (1)
- Aston University Research Archive (16)
- B-Digital - Universidade Fernando Pessoa - Portugal (1)
- Biblioteca de Teses e Dissertações da USP (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (8)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (20)
- Boston College Law School, Boston College (BC), United States (1)
- Boston University Digital Common (4)
- Brock University, Canada (1)
- Bulgarian Digital Mathematics Library at IMI-BAS (2)
- CaltechTHESIS (1)
- Cambridge University Engineering Department Publications Database (11)
- CentAUR: Central Archive University of Reading - UK (27)
- Center for Jewish History Digital Collections (3)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (8)
- Cochin University of Science & Technology (CUSAT), India (11)
- Collection Of Biostatistics Research Archive (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (5)
- CORA - Cork Open Research Archive - University College Cork - Ireland (5)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (1)
- CUNY Academic Works (1)
- Dalarna University College Electronic Archive (4)
- Digital Archives@Colby (2)
- Digital Commons - Montana Tech (1)
- Digital Commons @ DU | University of Denver Research (1)
- Digital Commons at Florida International University (4)
- DigitalCommons@The Texas Medical Center (2)
- DigitalCommons@University of Nebraska - Lincoln (2)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (4)
- Greenwich Academic Literature Archive - UK (1)
- Helda - Digital Repository of University of Helsinki (4)
- Indian Institute of Science - Bangalore - Índia (12)
- Instituto Politécnico do Porto, Portugal (1)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (1)
- Massachusetts Institute of Technology (1)
- Memorial University Research Repository (1)
- Ministerio de Cultura, Spain (3)
- National Center for Biotechnology Information - NCBI (3)
- Nottingham eTheses (2)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (1)
- Portal de Revistas Científicas Complutenses - Espanha (2)
- Publishing Network for Geoscientific & Environmental Data (11)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (52)
- Queensland University of Technology - ePrints Archive (267)
- RepoCLACAI - Consorcio Latinoamericano Contra el Aborto Inseguro (3)
- Repositorio Académico de la Universidad Nacional de Costa Rica (1)
- Repositorio Academico Digital UANL (1)
- Repositório Científico da Escola Superior de Enfermagem de Coimbra (2)
- Repositório digital da Fundação Getúlio Vargas - FGV (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (17)
- Repositorio Institucional Universidad EAFIT - Medelin - Colombia (1)
- Research Open Access Repository of the University of East London. (1)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (1)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (1)
- School of Medicine, Washington University, United States (2)
- South Carolina State Documents Depository (9)
- Universidad Autónoma de Nuevo León, Mexico (2)
- Universidad de Alicante (4)
- Universidad del Rosario, Colombia (2)
- Universidad Politécnica de Madrid (11)
- Universitat de Girona, Spain (1)
- Université de Lausanne, Switzerland (2)
- Université de Montréal, Canada (2)
- University of Connecticut - USA (1)
- University of Michigan (195)
- University of Queensland eSpace - Australia (17)
- University of Washington (2)
- WestminsterResearch - UK (1)
- Worcester Research and Publications - Worcester Research and Publications - UK (6)
Resumo:
The concept of data independence designates the techniques that allow data to be changed without affecting the applications that process it. The different structures of the information bases require corresponded tools for supporting data independence. A kind of information bases (the Multi-dimensional Numbered Information Spaces) are pointed in the paper. The data independence in such information bases is discussed.
Resumo:
2000 Mathematics Subject Classification: 62H15, 62H12.