SATELIT-SATELIT AMATEUR RADIO YANG MENGGUNAKAN SISTEM DIGITAL
Type: Indeks Artikel prosiding/Sem
Call Number | SEM-281 |
Collection Type | Indeks Artikel prosiding/Sem |
Title | Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455 |
Author | Leonardo de Moura, Harald Rueb, Maria Sorea; |
Publisher | Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002 |
Subject | |
Location |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
SEM-281 | TERSEDIA |