Journal of Automated Reasoning
Material type:
E-journalAnalytics: Show analyticsPublisher: Dordrecht : Springer Netherlands, 1985-ISSN: 0168-7433 (edición impresa); 1573-0670 (edición electrónica).Uniform titles: SpringerLink e-journalsSubject: Demostración automática de teoremas -- Publicaciones periódicas
| Inteligencia artificial -- Publicaciones periódicasOnline resources: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)
Holdings: | 1997- |
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
REVISTA-E NO PRÉSTAMO
|
Madrid Digital Acceso Electrónico (UEM) | Ciencias e Ingeniería | QA76.9 .A96 ES (Browse shelf(Opens below)) | .i1165823x | Acceso electrónico | eREVISTA .i1165823x |
Total holds: 0
Browsing Madrid Digital shelves, Shelving location: Acceso Electrónico (UEM) Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| QA76.9 .A94 2023 EB Media Innovations AR and VR : Success Factors For The Development Of Experiences | QA76.9 .A94 2023 EB Augmented Reality : Where We Will All Live | QA76.9 .A94 2023 EB Stepping into Virtual Reality | QA76.9 .A96 ES Journal of Automated Reasoning | QA76.9 .B45 2017 EB Advances in big data : proceedings of the 2nd INNS Conference on Big Data, October 23-25, 2016, Thessaloniki, Greece | QA76.9.B45 2018 EB Web Microanalysis of Big Image Data | QA76.9 .B45 2018 EB Data Science Landscape Towards Research Standards and Protocols |
Modalidad de acceso: en línea
There are no comments on this title.
Log in to your account to post a comment.