Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/IEEE_Symposium_on_Logic_in_Computer_Science> }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Alan_Turing_Year wikiPageWikiLink IEEE_Symposium_on_Logic_in_Computer_Science.
- Ashok_K._Chandra wikiPageWikiLink IEEE_Symposium_on_Logic_in_Computer_Science.
- Higher-order_abstract_syntax wikiPageWikiLink IEEE_Symposium_on_Logic_in_Computer_Science.
- Jean-Pierre_Jouannaud wikiPageWikiLink IEEE_Symposium_on_Logic_in_Computer_Science.
- Kleene_award wikiPageWikiLink IEEE_Symposium_on_Logic_in_Computer_Science.
- Lindström_quantifier wikiPageWikiLink IEEE_Symposium_on_Logic_in_Computer_Science.
- Paris_Kanellakis wikiPageWikiLink IEEE_Symposium_on_Logic_in_Computer_Science.
- Thomas_Streicher wikiPageWikiLink IEEE_Symposium_on_Logic_in_Computer_Science.
- Tobias_Nipkow wikiPageWikiLink IEEE_Symposium_on_Logic_in_Computer_Science.
- IEEE_Symposium_on_Logic_in_Computer_Science primaryTopic IEEE_Symposium_on_Logic_in_Computer_Science.