Selected Extended Papers of NFM 2016: Preface

César A. Muñoz, Sanjai Rayadurgam, Oksana Tkachuk

Research output: Contribution to journal › Article › peer-review

Original language	English (US)
Journal	Journal of Automated Reasoning
Volume	60
Issue number	1
DOIs	https://doi.org/10.1007/s10817-017-9425-5
State	Published - Jan 1 2018

Access

@article{20d7a5698a5e4a5db06eade03ed8d04b,

title = "Selected Extended Papers of NFM 2016: Preface",

author = "Mu{\~n}oz, {C{\'e}sar A.} and Sanjai Rayadurgam and Oksana Tkachuk",

year = "2018",

month = jan,

day = "1",

doi = "10.1007/s10817-017-9425-5",

language = "English (US)",

volume = "60",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - Selected Extended Papers of NFM 2016

T2 - Preface

AU - Muñoz, César A.

AU - Rayadurgam, Sanjai

AU - Tkachuk, Oksana

PY - 2018/1/1

Y1 - 2018/1/1

UR - http://www.scopus.com/inward/record.url?scp=85027069885&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85027069885&partnerID=8YFLogxK

U2 - 10.1007/s10817-017-9425-5

DO - 10.1007/s10817-017-9425-5

M3 - Article

AN - SCOPUS:85027069885

SN - 0168-7433

VL - 60

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

IS - 1

ER -