Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen
  • Proof Scores: A Survey.

Treffer: Proof Scores: A Survey.

Title:
Proof Scores: A Survey.
Authors:
Riesco, Adrián1 (AUTHOR) ariesco@ucm.es, Ogata, Kazuhiro2 (AUTHOR) ogata@jaist.ac.jp, Nakamura, Masaki3 (AUTHOR) masaki-n@pu-toyama.ac.jp, Gaina, Daniel4 (AUTHOR) daniel@imi.kyushu-u.ac.jp, Tran, Duong Dinh2 (AUTHOR) duongtd@jaist.ac.jp, Futatsugi, Kokichi2 (AUTHOR) futatsugi@jaist.ac.jp
Source:
ACM Computing Surveys. Oct2025, Vol. 57 Issue 10, p1-37. 37p.
Database:
Business Source Ultimate