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
- 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)
- 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)
- ICUAS 2018 + (International Conference on Unmanned Aircraft Systems)
- ICUAS 2017 + (International Conference on Unmanned Aircraft Systems)
- ICUAS 2020 + (International Conference on Unmanned Aircraft Systems,)
- UMAP + (International Conference on User Modelling, Adaptation, and Personalization)
- VLDB 1993 + (International Conference on Very Large Data Bases (VLDB) 1993)
- VLDB 1995 + (International Conference on Very Large Data Bases (VLDB) 1995)
- VLDB 1996 + (International Conference on Very Large Data Bases (VLDB) 1996)
- VLDB 1997 + (International Conference on Very Large Data Bases (VLDB) 1997)
- VLDB 1998 + (International Conference on Very Large Data Bases (VLDB) 1998)
- VLDB 1999 + (International Conference on Very Large Data Bases (VLDB) 1999)
- VLDB 2000 + (International Conference on Very Large Data Bases (VLDB) 2000)
- VLDB 2001 + (International Conference on Very Large Data Bases (VLDB) 2001)
- VLDB 2002 + (International Conference on Very Large Data Bases (VLDB) 2002)
- VLDB 2003 + (International Conference on Very Large Data Bases (VLDB) 2003)
- VLDB 2005 + (International Conference on Very Large Data Bases (VLDB) 2005)
- VLDB 2006 + (International Conference on Very Large Data Bases (VLDB) 2006)
- VLDB + (International Conference on Very Large Databases)
- ICVIP + (International Conference on Video and Image Processing)
- ICVIP 2020 + (International Conference on Video and Image Processing)
- ICVIP - Ei 2017 + (International Conference on Video and Image Processing (ICVIP 2017))
- VEE 2008 + (International Conference on Virtual Execution Environments)
- VEE + (International Conference on Virtual Execution Environments)
- VEE 2020 + (International Conference on Virtual Execution Environments)
- ICVR + (International Conference on Virtual Reality)
- VSMM + (International Conference on Virtual Systems and MultiMedia)
- ICWAPR 2008 + (International Conference on Wavelet Analysis and Pattern Recognition)
- ICWE + (International Conference on Web Engineering)
- ICWE 2007 + (International Conference on Web Engineering 2007)
- WEBIST 2010 + (International Conference on Web Information Systems and Technologies (WEBIST))
- WISE + (International Conference on Web Information Systems Engineering)