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 - 1071998CZYSTY TEKST
Uwe Petermann, Theorem proving with built-in hybrid theories, Logic and Logical Philosophy, 1998 / Tom 6, s. 77 - 107
BIBTEX@Article{ authors = " Uwe Petermann", title = "Theorem proving with built-in hybrid theories", journal = "Logic and Logical Philosophy", issue = "1998 / Tom 6", pages = "77 - 107" }
-
On the practical value of Herbrand disjunctions Opublikowano w: Logic and Logical Philosophy 2000 / Tom 8 / s. 153 - 1802000CZYSTY TEKST
Uwe Petermann, On the practical value of Herbrand disjunctions, Logic and Logical Philosophy, 2000 / Tom 8, s. 153 - 180
BIBTEX@Article{ authors = " Uwe Petermann", title = "On the practical value of Herbrand disjunctions", journal = "Logic and Logical Philosophy", issue = "2000 / Tom 8", pages = "153 - 180" }
