Logic In Computer Science People (First 5 people) - Page 0

Frank Wolter

Author

Marcelo Arenas

Author

Tobias Nipkow

Computer scientist

Arne Meier

Computer scientist

Ian Horrocks

Computer science researcher