‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy

Registered user since Sun 26 Mar 2017

Name:Michael Raskin
Affiliation:Université de Bordeaux / LaBRI
Personal website:http://mccme.ru/~raskin

Contributions

ELS 2019 Working with First-Order Proofs and Provers
Show activities from other conferences

‹Programming› 2019-profile
View general profile