Enumerating proofs of positive formulae /
Zapisane w:
| 1. autor: | |
|---|---|
| Kolejni autorzy: | |
| Format: | Artykuł |
| Język: | English |
| Hasła przedmiotowe: | |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| LEADER | 00798nam a2200277 4500 | ||
|---|---|---|---|
| 001 | DLU110117280 | ||
| 005 | ##20101221 | ||
| 040 | # | # | |a DLU |b eng |
| 041 | # | # | |a eng |
| 044 | # | # | |a uk |
| 100 | # | # | |a Dowek, Gilles. |
| 245 | # | # | |a Enumerating proofs of positive formulae / |c Gilles Dowek, Ying Jiang. |
| 653 | # | # | |a Enumerating proofs |
| 653 | # | # | |a Minimal predicate logic |
| 653 | # | # | |a Positive formulae |
| 700 | # | # | |a Jiang, Ying. |
| 773 | # | # | |t The Computer Journal |g Vol. 52, no. 7 (October 2009), p. 799-807 |
| 920 | # | # | |a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt |
| 994 | # | # | |a DLU |
| 900 | # | # | |a True |
| 911 | # | # | |a Trương Bảo Trâm Anh |
| 925 | # | # | |a G |
| 926 | # | # | |a A |
| 927 | # | # | |a BB |
| 980 | # | # | |a Thư viện Trường Đại học Đà Lạt |