Journal of automated reasoning

Journal of automated reasoning

Accès par la licence nationale

Enregistré dans:
Détails bibliographiques
La bibliothèque possède : depuis 1985 jusqu'à 2014
Format : Revue
Langue : anglais
Publié : Kluwer
Sujets :
Informatique
Accès en ligne : Accès Nantes Université
Accès direct depuis les campus, via le réseau ou le wifi eduroam, ou après connexion à l'accès nomade
Accès en ligne pour les lecteurs extérieurs : Sur place uniquement via les ordinateurs connectés au réseau de Nantes Université
id E00074900623
id_txt E00074900623
spelling E00074900623 Journal of automated reasoning Revue Accès par la licence nationale
Journal of automated reasoning
spellingShingle Journal of automated reasoning
Journal of automated reasoning
Informatique
institution Bibliothèque Universitaire de Nantes
collection Catalogue
language anglais
format Revue
title Journal of automated reasoning
title_sort Journal of automated reasoning
title_sub Journal of automated reasoning
title_short Journal of automated reasoning
title_full Journal of automated reasoning
title_fullStr Journal of automated reasoning
Journal of automated reasoning
title_full_unstemmed Journal of automated reasoning
Journal of automated reasoning
journal_title_browse Journal of automated reasoning
publisher Kluwer
description Accès par la licence nationale
url_brute_str https://link.springer.com/journal/10817
url https://link.springer.com/journal/10817
issn 0168-7433
1573-0670
topic Informatique
topic_facet Informatique
hierarchy_top_id E00074900000
hierarchy_top_title Springer
hierarchy_parent_id E00074900000
hierarchy_sequence 00623
record_format bazelek
facette_ligne_rayon En ligne
public adulte
controles reseau_nu
pivot_papier_enligne 0168-7433
1573-0670
fullrecord {"id":"E00074900623","titre":"Journal of automated reasoning","editeur":"Kluwer","url":"https://link.springer.com/journal/10817","url_bypass_ezproxy":"1","publiee":"1","created":"11/03/2019 13:40","modified":"05/01/2022 17:31","type_id":"2","gestionnaire_id":"1","langues":["anglais"],"controles":["reseau_nu"],"countcsvlocal":"1204","countcsvnational":"0","ezproxy":"","hierarchy_top_id":"E00074900000","hierarchy_top_title":"Springer","is_hierarchy_id":"","is_hierarchy_title":"","hierarchy_sequence":"00623","issn":["0168-7433","1573-0670"],"eissn":"1573-0670","etat_collection":"depuis 1985 jusqu'à 2014","date_first_issue_online":"1985","date_last_issue_online":"2014","variantes_titre":"","type":"Revue","disciplines":["Informatique"],"description":"Accès par la licence nationale","hierarchy_parent_id":"E00074900000","allfields":"E00074900623 Journal of automated reasoning Revue Accès par la licence nationale","allfields_unstemmed":"E00074900623 Journal of automated reasoning Revue Accès par la licence nationale","fulltext":"E00074900623 Journal of automated reasoning Revue Accès par la licence nationale","fulltext_unstemmed":"E00074900623 Journal of automated reasoning Revue Accès par la licence nationale","spelling":"Journal of automated reasoning","spellingShingle":"Journal of automated reasoning","institution":"Bibliothèque Universitaire de Nantes","collection":"Catalogue","language":["anglais"],"format":"Revue","title":"Journal of automated reasoning","title_sort":"Journal of automated reasoning","title_sub":"Journal of automated reasoning","title_short":"Journal of automated reasoning","title_full":"Journal of automated reasoning","title_full_unstemmed":"Journal of automated reasoning","title_fullStr":"Journal of automated reasoning","journal_title_browse":["Journal of automated reasoning"],"publisher":"Kluwer","publisherStr":"Kluwer","publishDateSort":"2023","url_brute_str":"https://link.springer.com/journal/10817","topic":["Informatique"],"topic_unstemmed":["Informatique"],"topic_facet":["Informatique"],"topic_browse":["Informatique"],"record_format":"bazelek","facette_ligne_rayon":"En ligne","public":"adulte","pivot_papier_enligne":["0168-7433","1573-0670"]}
_version_ 1803522416955097090