Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 4

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote On the use of subgoal clauses in bottom-up and top-down calculi
100%
EN
The use of lemmas is a major control tool for automated theorem proving. Many approaches for top-down or bottom-up theorem proving employ lemmas for improving the proof search. Commonly the lemmas used can be derived in a bottom-up manner using merely the given axioms. That is, top-down lemmas which represent decompositions of original proof goals did not receive much attention. We propose to systematically generate and use such goal decompositions. We introduce a notion of top-down lemmas, so-called subgoal clauses, and examine their potential to reduce proof lengths and searches in top-down and bottom-up theorem proving. Furthermore, we develop some heuristics so as to make the use of subgoal clauses efficient in practice. A case study conducted in TPTP domains with the state-of-the-art provers spass and setheo demonstrates the strength of our approach.
2
Content available remote Reguły konkurencyjne w UE a fuzje i porozumienia firm transportowych
63%
PL
Dyrektywa UE o fuzji spółek jako instrument przeciwdziałania powstawaniu monopoli i ograniczaniu swobodnej konkurencji. Dopuszczalne sposoby dokonywania fuzji. Warunki zwolnień grupowych od ograniczeń w łączeniu się firm i zawieraniu przez nie porozumień. Potrzeba adaptacji polskich zasad subwencjonowania działalności przedsiębiorstw przewozowych do Traktatu Rzymskiego i przepisów wykonawczych.
EN
Although the fossil record of coleoid cephalopods is generally poor, the Upper Jurassic Nusplingen and Solnhofen Plattenkalks have provided numerous well−preserved coleoids. Trachyteuthis hastiformis, a comparatively large vampyropod coleoid, was previously known to represent the sole species of its genus in Nusplingen and Solnhofen. However, morphological comparisons based on 50 specimens from different museum collections revealed two additional species: T. nusplingensis sp. nov. and T. teudopsiformis sp. nov. Both species lack the distinct spindle−shaped elevation on the gladius median field typical for T. hastiformis. T. nusplingensis sp. nov. is clearly characterised by a smooth median field and a more or less regular granulation on the dorsal gladius surface, whereas T. teudopsiformis sp. nov. can be easily distinguished by the presence of a Teudopsis−like median keel and an extremely narrow granulation. Morphometric analyses have shown that length−width indices are ambiguous characters to differentiate between the three species. Phylogenetically, the keeled and anteriorly pointed T. teudopsiformis sp. nov. can be linked with the Early Jurassic genus Teudopsis and the Late Cretaceous genus Glyphiteuthis.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.