TY - CHAP A1 - Kraft, Bodo A1 - Retkowitz, Daniel T1 - Operationale Semantikdefinition für konzeptuelles Regelwissen N2 - In: Forum Bauinformatik 2005 : junge Wissenschaftler forschen / [Lehrstuhl Bauinformatik, Brandenburgische Technische Universität Cottbus. Frank Schley ... (Hrsg.)]. - Cottbus : Techn. Universität 2005. S. 1-10 ISBN 3-934934-11-0 Mittels eines operationalen Ansatzes zur Semantikdefinition wird am Bei-spiel des konzeptuellen Gebäudeentwurfs ein Regelsystem formalisiert. Dazu werdenzwei Teile, zum einen das Regelwissen, zum anderen ein konzeptueller Entwurfsplan zunächst informell eingeführt und dann formal beschrieben. Darauf aufbauend wird die Grundlage für eine Konsistenzprüfung des konzeptuellen Entwurfs gegen das Regel-wissen formal angeben KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2005 ER - TY - BOOK A1 - Schulte-Zurhausen, Manfred T1 - Organisation. - 4., überarb. und erw. Aufl. Y1 - 2005 SN - 3-8006-3205-5 PB - Vahlen CY - München ER - TY - BOOK A1 - Heuermann, Holger T1 - Hochfrequenztechnik : Lineare Komponenten hochintegrierter Hochfrequenzschaltungen Y1 - 2005 SN - 3-528-03980-9 PB - Vieweg CY - Wiesbaden ER - TY - BOOK A1 - Engeln-Müllges, Gisela A1 - Niederdrenk, Klaus A1 - Wodicka, Reinhard T1 - Numerik-Algorithmen : Verfahren, Beispiele, Anwendungen. - 9., vollst. überarb. und erw. Aufl. Y1 - 2005 SN - 3-540-62669-7 PB - Springer CY - Berlin [u.a.] ER - TY - BOOK A1 - Jeromin, Günter Erich A1 - Bertau, Martin T1 - Bioorganikum : ein Praktikum der Biotransformationen. - 1. Aufl. Y1 - 2005 SN - 3-527-31245-5 PB - Wiley-VCH CY - Weinheim ER - TY - JOUR A1 - Timme, Michael T1 - Wohnungseigentum. Ein Abriß zu Geschichte, Gegenwart und Zukunft JF - Studien zur Rechts- und Zeitgeschichte : liber discipulorum ; Professor Dr. Wulf Eckart Voß zum 60. Geburtstag / Andreas Bauer ... (Hrsg.) Y1 - 2005 SN - 3-89971-216-1 SP - 297 EP - 313 PB - V & R Unipress CY - Göttingen ER - TY - JOUR A1 - Timme, Michael T1 - Besprechung von BGH XI ZR 210/03 (Bankrecht) JF - Juristische Arbeitsblätter (2005) Y1 - 2005 SP - 161 EP - 163 ER - TY - JOUR A1 - Timme, Michael T1 - Schönheitsreparaturen gemäß Fristenplan bei Wohnungsumbau JF - NZM : neue Zeitschrift für Miet- und Wohnungsrecht ; Miete, Wohnungseigentum, Pacht, Makler- und Bauträgerrecht, Steuern, Wohnungswirtschaft, Versicherung, Immobilienleasing, Time-Sharing. 8 (2005) Y1 - 2005 SN - 1434-677X SP - 132 EP - 134 ER - TY - JOUR A1 - Timme, Michael A1 - Hülk, Fabian T1 - Anmerkung zu BGH IX ZR 229/03 (Zivilprozessrecht) JF - Monatsschrift für deutsches Recht : MDR (2005) Y1 - 2005 SP - 527 EP - 530 ER - TY - JOUR A1 - Timme, Michael T1 - Anscheinsbeweis beim Mißbrauch von EC-Karten JF - Monatsschrift für deutsches Recht : MDR (2005) Y1 - 2005 SP - 301 EP - 304 ER -