Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Logic_in_computer_science> }
Showing triples 1 to 50 of
50
with 100 triples per page.
- Georg_Gottlob field Logic_in_computer_science.
- Ian_Horrocks field Logic_in_computer_science.
- Alexander_Razborov knownFor Logic_in_computer_science.
- Ray_Turner knownFor Logic_in_computer_science.
- ACM_Transactions_on_Computational_Logic wikiPageWikiLink Logic_in_computer_science.
- Alasdair_Urquhart wikiPageWikiLink Logic_in_computer_science.
- Alexander_Razborov wikiPageWikiLink Logic_in_computer_science.
- Computational_logic wikiPageWikiLink Logic_in_computer_science.
- Computer_science wikiPageWikiLink Logic_in_computer_science.
- Dynamic_epistemic_logic wikiPageWikiLink Logic_in_computer_science.
- Epistemic_modal_logic wikiPageWikiLink Logic_in_computer_science.
- Formal_methods wikiPageWikiLink Logic_in_computer_science.
- Georg_Gottlob wikiPageWikiLink Logic_in_computer_science.
- Harry_Mairson wikiPageWikiLink Logic_in_computer_science.
- I_Ching wikiPageWikiLink Logic_in_computer_science.
- Ian_Horrocks wikiPageWikiLink Logic_in_computer_science.
- Index_of_philosophy_articles_(I–Q) wikiPageWikiLink Logic_in_computer_science.
- Leonid_Libkin wikiPageWikiLink Logic_in_computer_science.
- Lindström_quantifier wikiPageWikiLink Logic_in_computer_science.
- Logic_programming wikiPageWikiLink Logic_in_computer_science.
- Mathematical_logic wikiPageWikiLink Logic_in_computer_science.
- Outline_of_academic_disciplines wikiPageWikiLink Logic_in_computer_science.
- Post-silicon_validation wikiPageWikiLink Logic_in_computer_science.
- Ray_Turner wikiPageWikiLink Logic_in_computer_science.
- RuleML_Symposium wikiPageWikiLink Logic_in_computer_science.
- Switching_circuit_theory wikiPageWikiLink Logic_in_computer_science.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Logic_in_computer_science.
- Theoretical_computer_science wikiPageWikiLink Logic_in_computer_science.
- Vienna_Summer_of_Logic wikiPageWikiLink Logic_in_computer_science.
- RuleML_Symposium discipline Logic_in_computer_science.
- Georg_Gottlob field Logic_in_computer_science.
- Ian_Horrocks fields Logic_in_computer_science.
- books?vid=ISBN0-13-273417-6 isCitedBy Logic_in_computer_science.
- books?vid=ISBN0-13-285974-2 isCitedBy Logic_in_computer_science.
- books?vid=ISBN0-19-853761-1 isCitedBy Logic_in_computer_science.
- books?vid=ISBN0-521-443369 isCitedBy Logic_in_computer_science.
- books?vid=ISBN0-521-54310-X isCitedBy Logic_in_computer_science.
- books?vid=ISBN0-934613-01-X isCitedBy Logic_in_computer_science.
- books?vid=ISBN1-85233-319-7 isCitedBy Logic_in_computer_science.
- books?vid=ISBN978-0262560924 isCitedBy Logic_in_computer_science.
- books?vid=ISBN978-0465026562 isCitedBy Logic_in_computer_science.
- 16aa1b4aa010f3257162a9d15c5d2b949de3a93711f10a5f1ecdbd2e7364126d isCitedBy Logic_in_computer_science.
- e6dfee1883796395ac207868c772de9fcecd254c9ccfa884cedaebac81f02502 isCitedBy Logic_in_computer_science.
- 0004-3702(82)90020-0 isCitedBy Logic_in_computer_science.
- scientificamerican0501-34 isCitedBy Logic_in_computer_science.
- 64.87683 isCitedBy Logic_in_computer_science.
- v=onepage&q=Godel%20convinced%20by%20Turings%20analysis&f=false isCitedBy Logic_in_computer_science.
- v=onepage&q&f=false isCitedBy Logic_in_computer_science.
- Alexander_Razborov knownFor Logic_in_computer_science.
- Logic_in_computer_science primaryTopic Logic_in_computer_science.