UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Does Inpatient Equivalent Home Treatment lead to higher satisfaction? Results on satisfaction of persons involved in treatment within the Multi-center AKtiV Study

Psychiatrische Praxis, 2024-05, Vol.51 (4), p.202

2024

Volltextzugriff (PDF)

Stößt die Behandlung zu Hause auf größere Zufriedenheit? Ergebnisse zur Zufriedenheit der an der Behandlung beteiligten Personengruppen im Rahmen der multizentrischen AKtiV-Studie

Psychiatrische Praxis, 2024-05, Vol.51 (4), p.202-208

2024

Volltextzugriff (PDF)

Complete and Efficient Higher-Order Reasoning via Lambda-Superposition

SIGLOG news, 2023-12, Vol.10 (4), p.25-40

2023

Volltextzugriff (PDF)

IEHT or inpatient treatment? - First results of the multicenter AKtiV study on inpatient-equivalent home treatment regarding the study population and index treatment

Psychiatrische Praxis, 2023-11, Vol.50 (8), p.407

2023

Volltextzugriff (PDF)

StäB oder Station? – Erste Ergebnisse zur Studienpopulation und zur Behandlung im Rahmen der multizentrischen AKtiV-Studie zur stationsäquivalenten Behandlung

Psychiatrische Praxis, 2023-05, Vol.50 (8), p.407-414

2023

Volltextzugriff (PDF)

Mechanical Mathematicians

Communications of the ACM, 2023-03, Vol.66 (4), p.80-90

2023

Volltextzugriff (PDF)

Phenotypic Discovery of Triazolo[1,5‑c]quinazolines as a First-In-Class Bone Morphogenetic Protein Amplifier Chemotype

Journal of medicinal chemistry, 2022-11, Vol.65 (22), p.15263-15281

2022

Volltextzugriff (PDF)

A Comprehensive Framework for Saturation Theorem Proving

Journal of automated reasoning, 2022-11, Vol.66 (4), p.499-539

2022

Volltextzugriff (PDF)

Digitalisierte Lernsettings als prekäre Bearbeitungsformen von Unsicherheit

Figurationen Von Unsicherheit, 2022, p.191-224

2022

Volltextzugriff (PDF)

Superposition with Lambdas

Journal of automated reasoning, 2021-10, Vol.65 (7), p.893-940

2021

Volltextzugriff (PDF)

Superposition for Lambda-Free Higher-Order Logic

Logical methods in computer science, 2021-01, Vol.17 (2)

2021

Volltextzugriff (PDF)

Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover

Journal of automated reasoning, 2020-10, Vol.64 (7), p.1169-1195

2020

Volltextzugriff (PDF)

Development of a PDEδ‐Targeting PROTACs that Impair Lipid Metabolism

Angewandte Chemie, 2020-03, Vol.132 (14), p.5644-5650

2020

Volltextzugriff (PDF)

Development of a PDEδ‐Targeting PROTACs that Impair Lipid Metabolism

Angewandte Chemie International Edition, 2020-03, Vol.59 (14), p.5595-5601

International ed. in English, 2020

Volltextzugriff (PDF)

A Comprehensive Framework for Saturation Theorem Proving

Automated Reasoning, 2020, p.316-334

2020

Volltextzugriff (PDF)