Researcher Portfolio

 
   

Dr. Hillenbrand, Thomas

Automation of Logic, MPI for Informatics, Max Planck Society, International Max Planck Research School, MPI for Informatics, Max Planck Society, Programming Logics, MPI for Informatics, Max Planck Society  

 

Researcher Profile

 
Position: International Max Planck Research School, MPI for Informatics, Max Planck Society
Position: Automation of Logic, MPI for Informatics, Max Planck Society
Position: Programming Logics, MPI for Informatics, Max Planck Society
Researcher ID: https://pure.mpg.de/cone/persons/resource/persons44621

External references

 
WorldCat Search for Hillenbrand, Thomas
Google Scholar Search for Hillenbrand, Thomas

Publications