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
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
Modalidad de acceso: en línea
There are no comments on this title.
Log in to your account to post a comment.