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
- 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)
- 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)
- TrustBus + (International Conference on Trust, Privacy and Security in Digital Business)
- IMCOM 2018 + (International Conference on Ubiquitous Information Management and Communication)
- URAmI 2007 + (International Conference on Ubiquitous Robots and Ambient Intelligence)
- UIC + (International Conference on Ubiquitous and Intelligence Computing)
- ICUWB 2008 + (International Conference on Ultra-Wideband)
- ICUAS 2019 + (International Conference on Unmanned Aircraft Systems)