Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- ANTS + (International Conference on Swarm Intelligence)
- TSD 2009 + (International Conference on TEXT, SPEECH and DIALOGUE)
- TaMoCo 2008 + (International Conference on Techniques and Applications for Mobile Commerce)
- TEEM + (International Conference on Technological Ecosystems for Enhancing Multiculturality)
- ICTEL 2010 + (International Conference on Technology-Enhanced Learning)
- ICTL + (International Conference on Temporal Logic)
- ICTSS 2016 + (International Conference on Testing Software and Systems)
- TAP 2008 + (International Conference on Tests and Proofs 2008)
- TABLEAUX + (International Conference on Theorem Proving with Analytic Tableaux and Related Methods)
- TABLEAUX 2020 + (International Conference on Theorem Proving with Analytic Tableaux and Related Methods)
- ICTAS 2016 + (International Conference on Theoretical and Applied Statistics)
- TMFCS 2008 + (International Conference on Theoretical and Mathematical Foundations of Computer Science)
- TMI + (International Conference on Theoretical and Methodological Issues in machine Translation)
- SAT + (International Conference on Theory and Applications of Satisfiability Testing)
- SAT 2020 + (International Conference on Theory and Applications of Satisfiability Testing)
- ICMT + (International Conference on Theory and Practice of Model Transformation Model Transformation)
- TPDL + (International Conference on Theory and Practice of Digital Libraries)
- TACAS 2009 + (International Conference on Tools and Algorithms for the Construction and Analysis of Systems)
- TACAS + (International Conference on Tools and Algorithms for the Construction and Analysis of Systems)
- TACAS 2008 + (International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2008)
- ICTAI + (International Conference on Tools with Artificial Intelligence)