835 search results - page 33 / 167 » Geometric Logic in Computer Science |
CAD
2005
Springer
13 years 8 months ago
2005
Springer
The role of computers and of computer-aided design tools for the creation of geometrical shapes that will be judged primarily by aesthetic ations is reviewed. Examples are the pro...
CAGD
1998
13 years 8 months ago
1998
Laguerre geometry provides a simple approach to the design of rational curves and surfaces with rational offsets. These so-called PH curves and PN surfaces can be constructed from...
Book
"This book is intended for human factors engineers requiring current knowledge of how a computer graphics surrogate human can augment their analyses of designed environments. ...
STACS
2007
Springer
14 years 2 months ago
2007
Springer
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...
MFCS
1999
Springer
14 years 28 days ago
1999
Springer
We propose so called clausal tableau systems for the common modal logics K4, KD4 and S4. Basing on these systems, we give more efficient decision procedures than those hitherto kno...