A certifying algorithm for horn constraint systems
Wedi'i Gadw mewn:
| Cyhoeddwyd yn: | ProQuest Dissertations and Theses (2014) |
|---|---|
| Prif Awdur: | |
| Cyhoeddwyd: |
ProQuest Dissertations & Theses
|
| Pynciau: | |
| Mynediad Ar-lein: | Citation/Abstract Full Text - PDF |
| Tagiau: |
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Byddwch y cyntaf i adael sylw!