Home
|
JAIST Home
|
Library Home
All
Faculty's Articles
Advanced Search
Browse
Communities
& Collections
Titles
Authors
By Date
Theses
Research Report and Technical Memorandum
Sign on to:
My DSpace
authorized users
Help
About DSpace
JAIST Repository
>
Items for Author "Baaz, Matthias"
Return to Browse by Author
Sort by Title
Sorting by Date
Showing 2 items.
Date of Issue
Title
Authors
2009
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability
Baaz, Matthias
;
Ciabattoni, Agata
;
Preining, Norbert
21-Dec-2011
Chapter VII: Gödel-Dummett Logic
Baaz, Matthias
;
Preining, Norbert
Contact :
Library Information Section, Japan Advanced Institute of Science and Technology