Results 151 to 160 of about 250,438 (213)
Neuronal Nrf/SKN-1B controls a sexually dimorphic neuroendocrine pathway for C. elegans exploratory behaviour. [PDF]
PLoS GenetMcLean N +8 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Communications of the ACM, 1981
This paper gives an overview over the connection method in Automated Theorem Proving, developed earlier by the author. Its prominent features are illustrated with a number of examples. These features provide it with provable advantages over any standard proof method.
openaire +2 more sources
This paper gives an overview over the connection method in Automated Theorem Proving, developed earlier by the author. Its prominent features are illustrated with a number of examples. These features provide it with provable advantages over any standard proof method.
openaire +2 more sources
IEEE Transactions on Computers, 1976
Occurrences of literals in the initial clauses of a refutation by resolution (with each clause-occurrence used only once) are mated iff their descendants are resolved with each other. This leads to an abstract notion of a mating as a relation between: occurrences of literals in a set of clause-occurrences.
openaire +2 more sources
Occurrences of literals in the initial clauses of a refutation by resolution (with each clause-occurrence used only once) are mated iff their descendants are resolved with each other. This leads to an abstract notion of a mating as a relation between: occurrences of literals in a set of clause-occurrences.
openaire +2 more sources