Uwe Petermann
2 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Theorem proving with built-in hybrid theories Opublikowano w: Logic and Logical Philosophy 1998 / Tom 6 / s. 77 - 107ROK: 1998CZYSTY TEKSTBIBTEX
-
On the practical value of Herbrand disjunctions Opublikowano w: Logic and Logical Philosophy 2000 / Tom 8 / s. 153 - 180ROK: 2000CZYSTY TEKSTBIBTEX
