Cargando…
Preface: Special Issue of Selected Extended Papers of CADE 2019
Autor principal: | Fontaine, Pascal |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Springer Netherlands
2021
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8211945/ https://www.ncbi.nlm.nih.gov/pubmed/34177018 http://dx.doi.org/10.1007/s10817-021-09601-3 |
Ejemplares similares
-
Preface — Selected Papers from UKHTC2019
por: Yan, Yuying, et al.
Publicado: (2020) -
Preface to the Special Issue
por: Pradhan, A S
Publicado: (2009) -
Special Issue of Selected Extended Papers of IJCAR 2020
por: Peltier, Nicolas, et al.
Publicado: (2022) -
Preface of Special Issue “Databases”
por: Yura, Kei
Publicado: (2018) -
Automated deduction - CADE 27: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019, proceedings
por: Fontaine, Pascal
Publicado: (2019)