Vol-3325⫷ Vol-3326 ⫸Vol-3327
urn:nbn:de:0074-3326-0


Vol-3326/ARQNL2022_preface⫷Vol-3326/ARQNL2022_invited1⫸Vol-3326/ARQNL2022_abstract1
Tomer Libal

Do Lawyers Use Automated Reasoning? (invited paper)