equal
  deleted
  inserted
  replaced
  
    
    
|     30  |     30  | 
|     31 <H2>2011/12 MSc Individual Projects</H2> |     31 <H2>2011/12 MSc Individual Projects</H2> | 
|     32 <H4>Supervisor: Christian Urban</H4>  |     32 <H4>Supervisor: Christian Urban</H4>  | 
|     33 <H4>Email: christian dot urban at kcl dot ac dot uk,  Office: Strand Building S6.30</H4> |     33 <H4>Email: christian dot urban at kcl dot ac dot uk,  Office: Strand Building S6.30</H4> | 
|     34 <H4>If you are interested in a project, please send me an email and we can discuss details. Please include |     34 <H4>If you are interested in a project, please send me an email and we can discuss details. Please include | 
|     35 a short description about your programming and computer science background in your first email.  |     35 a short description about your programming skills and computer science background in your first email.  | 
|     36 I also need your King's username in order to book the project for you. Thanks.</H4>  |     36 I will also need your King's username in order to book the project for you. Thanks.</H4>  | 
|     37  |     37  | 
|     38 <ul class="striped"> |     38 <ul class="striped"> | 
|     39 <li> <H4>[CU1] Implementing a SAT-Solver in a Functional Programming Language</H4> |     39 <li> <H4>[CU1] Implementing a SAT-Solver in a Functional Programming Language</H4> | 
|     40  |     40  | 
|     41   <p><B>Description:</b>   |     41   <p><B>Description:</b>   | 
|    269 </TR> |    269 </TR> | 
|    270 </TABLE> |    270 </TABLE> | 
|    271  |    271  | 
|    272 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 --> |    272 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 --> | 
|    273 <!-- hhmts start --> |    273 <!-- hhmts start --> | 
|    274 Last modified: Tue Dec  6 15:37:57 GMT 2011 |    274 Last modified: Sat Dec 10 16:06:44 GMT 2011 | 
|    275 <!-- hhmts end --> |    275 <!-- hhmts end --> | 
|    276 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |    276 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> | 
|    277 </BODY> |    277 </BODY> | 
|    278 </HTML> |    278 </HTML> |