|
Volumn 14, Issue 1, 2005, Pages 59-70
|
Algorithms for automated deduction of topological information
|
Author keywords
Automated deduction; Computer aided building design; Solid modeling; Topological information
|
Indexed keywords
AIR CONDITIONING;
ALGORITHMS;
COMPUTER AIDED DESIGN;
HEATING;
MATHEMATICAL MODELS;
STRUCTURAL DESIGN;
THREE DIMENSIONAL;
TOPOLOGY;
VENTILATION;
AUTOMATED DEDUCTION;
COMPUTER-AIDED BUIDLING DESIGN;
SOLID MODELING;
THREE DIMENSIONAL COMPUTER-AIDED DESIGN (3D CAD);
TOPOLOGICAL INFORMATION;
BUILDING COMPONENTS;
|
EID: 10444248884
PISSN: 09265805
EISSN: None
Source Type: Journal
DOI: 10.1016/j.autcon.2004.07.015 Document Type: Article |
Times cited : (47)
|
References (12)
|