Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming

Dane publikacji
Typ publikacji	Publikacja w czasopi¶mie
Rodzaj publikacji	Artykuł
Tytuł publikacji	Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming
Adres internetowy
Tytuł czasopisma	FUNDAMENTA INFORMATICAE
Medium	publikacja drukowana
Tom	70
Zeszyt	4
Rok wydania	2006
Od strony	351
Do strony	366
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2006