‹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