Login / Signup
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021.
Wolfgang Ahrendt
Frédéric Loulergue
Heike Wehrheim
Published in:
Formal Aspects Comput. (2024)
Keyphrases
</>
international conference
computational molecular biology
computational intelligence
ifip wg
web information systems and mining
koli calling
database
web intelligence
carefully reviewed and selected from submissions
acm sigmod
real time
information retrieval
artificial intelligence
privacy preserving