Call Number | SEM-374 |
Collection Type | Indeks Artikel prosiding/Sem |
Title | Lifter: Language to Encode Induction Heuristics for Isabelle/HOL (266-287) |
Author | Yutaka Nagashima; |
Publisher | |
Subject | |
Location |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
SEM-374 | TERSEDIA |