‹Programming› 2019 (series) / Michael Raskin
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
View general profile