boris

31
Reputation
26 views
Is this your account?

Unregistered User 

Name boris
Member for 3 years
Seen Oct 24 2009 at 8:15
Website
Location
Age
0

Questions

 

1

Answers
3
Intro to automatic theorem proving / logical foundations?

 

0

Votes

 

2

Tags


 

1

Badges
● Teacher