Dane publikacji |
| |
Typ publikacji | Publikacja w książce |
Rodzaj publikacji | Artykuł |
Tytuł publikacji | An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-Closeness and Distance |
Adres internetowy | |
Tytuł książki | PRICAI 2008, Lecture Notes in Artificial Intelligence 5351 [eds. T.-B. Ho, Z.-H. Zhou] |
Tom | |
Od strony | 128 |
Do strony | 139 |
Liczba arkuszy | |
Liczba stron | |
Oznaczenie wydania | |
Miejsce wydania | Berlin-Heidelberg |
Nazwa wydawcy | Springer-Verlag Berlin Heidelberg |
Rok wydania | 2008 |
Tytuł serii | |
Numer w serii | |
Numer publikacji | |
Język publikacji | Angielski |
Język etniczny badanej kultury | |
Zasięg | międzynarodowy |
Rok sprawozdawczy | 2008 |