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

• CAV 2007  + (Computer Aided Verification)
• CAV 2008  + (Computer Aided Verification)
• CAV 2009  + (Computer Aided Verification)
• CAV 2010  + (Computer Aided Verification)
• CAV 2011  + (Computer Aided Verification)
• CAV 2012  + (Computer Aided Verification)
• CAV 2013  + (Computer Aided Verification)
• CAV 2014  + (Computer Aided Verification)
• CAV 2015  + (Computer Aided Verification)
• CAV 2016  + (Computer Aided Verification)

• CAA  + (Computer Applications & Quantitive Methods in Archaelogy)

• CAA 2018  + (Computer Applications and Quantitative Methods in Archaeology International Conference)
• CAA 2017  + (Computer Applications and Quantitative Methods in Archaeology International Conference)
• CAA 2009  + (Computer Applications and Quantitative Methods in Archaeology)
• CAA 2019  + (Computer Applications and Quantitative Methods in Archaeology)
• CAA 2021  + (Computer Applications and Quantitative Methods in Archaeology)
• CGI 2009  + (Computer Graphics International)
• CGI  + (Computer Graphics International)
• CGI 2021  + (Computer Graphics International)
• CGI 2018  + (Computer Graphics International 2018)
• CGI 2019  + (Computer Graphics International 2019)