‹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