Roskilde University Digital Archive: Browsing RUDAR

Home

Browse

Issue Date

Author

Title

Subject

Sign on to:

My RUDAR
authorized users

Browsing by Author Brauner, Torben

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Æ Ø Å

or enter first few letters:

Showing results 1 to 5 of 5

Issue Date	Title	Author(s)
29-Nov-2011	Automatization of the semantic tableau method	Brauner, Torben; Herczeg, Timea
3-Sep-2010	Automatization of the semantic tableau method	Brauner, Torben; Herczeg, Timea
26-Jan-2009	The Birth of Modern Chemistry	Brauner, Torben; Rayner, Thomas Allan; Mackevica, Aiga
5-Jan-2009	Philosophy of Logic and Artificial Intelligence	Brauner, Torben; Karavasileiadis, Christos; O'Bryan, Stephan
27-Jan-2012	Probability Interpretations in Probabilistic Description Logics	Brauner, Torben; Lunde Petersen, Carsten; Herczeg, Timea

Showing results 1 to 5 of 5