Nikola Tesla was born a subject of the Austro-Hungarian Empire in 1856 in a mountainous area of the Balkan Peninsula known as Lika. His father Milutin, and his mother Djuka, were both Serbian by ...
The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback