Article

Journal of Automated Reasoning

, Volume 51, Issue 1, pp 1-2

Preface: Special Issue of Selected Extended Papers of CADE-23

  • Nikolaj BjørnerAffiliated withMicrosoft Research
  • , Viorica Sofronie-StokkermansAffiliated withUniversität Koblenz-LandauMax-Planck-Institut für Informatik Email author 

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access