Library

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    [s.l.] : Nature Publishing Group
    Nature 202 (1964), S. 916-916 
    ISSN: 1476-4687
    Source: Nature Archives 1869 - 2009
    Topics: Biology , Chemistry and Pharmacology , Medicine , Natural Sciences in General , Physics
    Notes: [Auszug] We used the double-diffusion test in agar gel in tubes according to Oudin modified by Parlett, Youmans et al.1. On our investigations with the sera of the tuberculosis patients different results were indicated by appearance of uncharacteristic precipitations. These results we could definitely prove ...
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    International journal on software tools for technology transfer 3 (2000), S. 66-77 
    ISSN: 1433-2787
    Keywords: Key words: Formal software development – Automated theorem proving – Interactive theorem proving – Temporal logic – Modular proof development – Compositionality
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract. The Verification Support Environment (VSE) is a tool to formally specify and verify complex systems. It provides the means to structure specifications and supports the development process from the specification of a system to the automatic generation of code. Formal developments following the VSE method are stored and maintained in an administration system that guides the user and maintains a consistent state of development. An integrated deduction system provides proof support for the deduction problems arising during the development process. We describe the application of VSE to an industrial case study and give an overview of the enhanced VSE system and the VSE methodology.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Journal of automated reasoning 18 (1997), S. 265-270 
    ISSN: 1573-0670
    Keywords: automated theorem proving ; competition ; Waldmeister ; unfailing Knuth–Bendix completion
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Waldmeister is a high-performance theorem prover for unit equational first-order logic. In the making of Waldmeister, we have applied an engineering approach, identifying the critical points with respect to efficiency in time and space. Our logical three-level system model consists of the basic operations on the lowest level, where we put great stress on efficient data structures and algorithms. For the middle level, where the inference steps are aggregated into an inference machine, flexible adjustment has proven essential during experimental evaluation. The top level holds control strategy and reduction ordering. Although at this level only standard strategies are employed, really large proof tasks have been managed in reasonable time.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    ISSN: 0009-2940
    Keywords: Phosphonium compounds ; Phosphorus-phosphorus bonds ; Phosphorus-arsenic bonds ; Phosphorus-tin bonds ; Chemistry ; Inorganic Chemistry
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology
    Notes: Preparation, Structure, and Properties of Urea-Bridged Cyclic Phosphonium Salts with Phosphorus-Phosphorus, Phosphorus-Arsenic, Phosphorus-Antimony, and Phosphorus-Tin BondsN-[tert1-Butyl(phenyl)phosphanyl]-N,N′-dimethyl-N′-(trimethylsilyl)urea (2) reacts with organodichlorophosphanes with cleavage of the Si - N bond to form the cyclic phosphanylphosphonium chlorides 3a - i containing the grouping [λ3P - λ4P+]Cl-. Evidence was obtained for the existence of an equilibrium in solution between the ionic phosphonium structure 3 and a covalent form. The position of the equilibrium is determined by the nature of the group R at λ3P. Reaction of the phosphonium salts 3a - i with Na[BPh4] furnished the phosphonium tetraphenylborates 4a - i containing the grouping [λ3P - λ4P+][BPh4]-. In the reaction of 2 with organodichloroarsanes the arsanyl-phosphonium chlorides 5a and 5b with the grouping [λ3As - λ4P+] were formed. By treatment of 5a and 5b with Na[BPh4] the corresponding tetraphenylborates 6a and 6b were produced. Further cyclic phosphonium salts containing a heteroatom-phosphorus bond with the complex chloro anions [AsCl4]-, [SbCl4]-, and [Me2SnCl4]2- were formed in the reaction of 2 with the chlorides AsCl3, SbCl3 and Me2SnCl2. - The structures of 4h and 6a were confirmed by low-temperature X-ray crystal structure determination; the P - P bond length of 4h is 222.3(2) pm, the P - As bond length of 6a 234.6, 234.1(2) pm in two independent cations.
    Additional Material: 2 Ill.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    ISSN: 0009-2940
    Keywords: 2,4-Diaza-1,5-diphosphapentan-3-ones, 2,4-dimethyl- ; Coordination compounds ; Chromium complexes ; Molybdenum complexes ; Tungsten complexes ; Iron complexes ; Platinum complexes ; Chemistry ; Inorganic Chemistry
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology
    Notes: Compounds with the 2,4-Dimethyl-2,4-diaza-1,5-diphosphapentan-3-one Skeleton; Synthesis, Structure, and Properties of 1,5-Di-tert-butyl-2,4-dimethyl-1,5-diphenyl-2,4-diaza-1,5-diphosphapentan-3-one and Its DerivativesN,N′-Dimethyl-N-N′-bis(trimethylsilyl)urea (1) reacts with tert-butylchlorophenylphosphane (2) to form the monophosphino/ trimethylsilyl-substituted urea 3. Under more vigorous conditions the bisphosphino-substituted derivative 4 was also obtained. The reaction of 4 with the tetracarbonyl norbornadiene derivatives of Cr, Mo, and W furnished the unusual chelate complexes 5-7, in which the ligand 4 is coordinated to the metal through one of the two phosphorus atoms and the oxygen atom of the carbonyl group. The free ligand 4 and the isostructural complexes 5 and 6 were subjected to X-ray structure analyses. The approximate twofold symmetry of 4 is lost as a result of a major conformational change on complex formation. In contrast, 4 reacts with Fe2(CO)9 and with (COD)-PtCl2 (COD=1,5-cyclooctadiene) to give the complexes 8 and 9. In both 8 and 9 the ligand 4 is coordinated by both phosphorus atoms. Reaction of 4 with sulfur and selenium led to the disulfide 10 and diselenide 11, whereas with tellurium no reaction was observed.
    Additional Material: 8 Tab.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Weinheim : Wiley-Blackwell
    Berichte der deutschen chemischen Gesellschaft 94 (1961), S. 1739-1742 
    ISSN: 0009-2940
    Keywords: Chemistry ; Inorganic Chemistry
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology
    Notes: Bei der SeO2-Oxydation des Guajazulens in Aceton wird das Lösungsmittel zu Dihydroxyaceton oxydiert, das in situ mit 2 Moll. Guajazulen zu Diguajazulenyl-aceton kondensiert. Umsetzung von Guajazulen mit Dihydroxyaceton in Substanz führt zu einem isomeren, ungesättigten Alkohol. Die Konsequenzen dieser neuartigen Reaktion werden diskutiert.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...