Language / Country:
Sites similar to Isabelle.In.Tum.De
Isabelle
Description: Technische Universität München - Automatic and interactive theorem proving, formal verification, formalizing programming languages, type systems, semantics, rewriting and unification, lambda-calculus.
Popular Searches: isabelle in tum
Site rating:
3.0 / 5.0, reviewed by Sites Like Search
Language: English
Site topics: computer
Department of Computer and Information Science.
Site rating:
3.0 / 5.0, Language: English
A short presentation of his research and publications.
Site rating:
3.0 / 5.0, Language: English
Established in 1979, the Department of Computer Science is located within the tree-lined Morningside campus on the Upper West Side of Manhattan.
Site rating:
3.0 / 5.0, Language: English
University of Illinois, Urbana-Champaign - Parallel processing, performance analysis, parallel simulation, static and dynamic mapping algorithms, network ...
Site rating:
3.0 / 5.0, Language: English
The University of Pittsburgh is among the nation's most distinguished comprehensive universities, with a wide variety of high-quality programs in both the arts and ...
Site rating:
4.5 / 5.0, Language: English
Course and research information, events calendar, contact information and link to MACQU, greenhouse manufacturers.
Site rating:
4.0 / 5.0, Language: English
Mount Allison University is the number one comprehensive undergraduate university in Canada. It is located in Sackville, New Brunswick, Canada. Founded in 1839 ...
Site rating:
3.8 / 5.0, Language: English
This statistical institution is "devoted to the research, teaching and application of statistics, natural sciences and social sciences."
Site rating:
3.7 / 5.0, Language: English