PhD DATABASE

Title:  
A resolution method for some systems of MODAL LOGIC
Abstract:  
URL:  
Area of Science:  
Artificial Inteligence
PhD Student:  
Rudolf Sommerhalder
E-mail:  
Scientific Adviser:  
S.C.van Westrhenen
E-mail:  
University:  
Delft University of Technology
City:  
Delft
Country:  
The Netherlands
  Back to search results
 
This web site has been produced with the support of the European Commission under the Lifelong Learning Programme: 114046-CP-1-2004-1-BG-ERASMUS-TN.
It reflects the views only of the authors, and the commission cannot be held responsible for any use which may be made of the information contained therein.