Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Andrej_Bauer> }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Bauer_(surname) wikiPageWikiLink Andrej_Bauer.
- Coq wikiPageWikiLink Andrej_Bauer.
- Homotopy_type_theory wikiPageWikiLink Andrej_Bauer.
- Institute_for_Advanced_Study wikiPageWikiLink Andrej_Bauer.
- List_of_Slovenian_computer_scientists wikiPageWikiLink Andrej_Bauer.
- List_of_Slovenian_mathematicians wikiPageWikiLink Andrej_Bauer.
- List_of_mathematicians_(B) wikiPageWikiLink Andrej_Bauer.
- Lists_of_mathematicians wikiPageWikiLink Andrej_Bauer.
- Michael_Shulman_(mathematician) wikiPageWikiLink Andrej_Bauer.
- Andrej_Bauer primaryTopic Andrej_Bauer.