RUDAR - Roskilde University Digital Archive >
RUcast >
Doktor forsvar / Defense of doctoral thesis >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1800/4637
|
edumedia
| Title: | Hybrid Logic and its Proof-Theory : From Philosophy to computer Science |
| Participants: | Braüner, Torben |
| Keywords: | Doktor forsvar Hybrid Logic Proof-Theory Computer Science |
| Issue Date: | 30-Nov-2009 |
| Time of recording: | 23-Apr-2009 |
| URI: | http://hdl.handle.net/1800/4637 |
| Appears in Collections: | Doktor forsvar / Defense of doctoral thesis |
Files in This Item: There are no files associated with this item. |
This item is protected by original copyright |
Items in RUDAR are protected by copyright, with all rights reserved, unless otherwise indicated.
|
RUDAR Software Copyright © 2002-2006 MIT and Hewlett-Packard |