no help available
no help available
BibSonomy
author- tag
- user
- group
- author
- concept
- BibTeX key
- search:all
- :: Pratt-Hartmann
- ::
The blue social bookmark and publication sharing system.
bookmarks
- No matching items.
- Ian Pratt-Hartmann. AAAI/IAAI, page 423-428. AAAI Press / The MIT Press, (2000)Ian Pratt-Hartmann. AAAI/IAAI, page 423-428. AAAI Press / The MIT Press, (2000)5 months and 12 days agoby dblp1
- Ian Pratt-Hartmann. Journal of Applied Non-Classical Logics 12(3-4):441-468 (2002)Ian Pratt-Hartmann. Journal of Applied Non-Classical Logics 12(3-4):441-468 (2002)7 months agoby dblp1
- Ian Pratt-Hartmann. Journal of Applied Non-Classical Logics 18(2-3):247-266 (2008)Ian Pratt-Hartmann. Journal of Applied Non-Classical Logics 18(2-3):247-266 (2008)7 months agoby dblp1
- Nissim Francez, and Ian Pratt-Hartmann. Studia Logica 100(4):663-665 (2012)Nissim Francez, and Ian Pratt-Hartmann. Studia Logica 100(4):663-665 (2012)8 months agoby dblp1
- Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann, and Lidia Tendera. LICS, page 431-440. IEEE, (2012)Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann, and Lidia Tendera. LICS, page 431-440. IEEE, (2012)8 months agoby dblp1
- Ian Pratt-Hartmann, and Dominik J. Schoop. J. Philosophical Logic 31(5):469-498 (2002)Ian Pratt-Hartmann, and Dominik J. Schoop. J. Philosophical Logic 31(5):469-498 (2002)a year agoby dblp1
- Yevgeny Kazakov, and Ian Pratt-Hartmann. LICS, page 407-416. IEEE Computer Society, (2009)Yevgeny Kazakov, and Ian Pratt-Hartmann. LICS, page 407-416. IEEE Computer Society, (2009)a year and 4 months agoby dblp2
- Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, and Michael Zakharyaschev. CoRR (2011)Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, and Michael Zakharyaschev. CoRR (2011)a year and 5 months agoby dblp2
- Ivo Düntsch, and Ian Pratt-Hartmann. CoRR (2009)Ivo Düntsch, and Ian Pratt-Hartmann. CoRR (2009)a year and 5 months agoby dblp2
- Ian Pratt-Hartmann, and Ivo Düntsch. CoRR (2009)Ian Pratt-Hartmann, and Ivo Düntsch. CoRR (2009)a year and 5 months agoby dblp1
- Ian Pratt-Hartmann, and Lawrence S. Moss. CoRR (2008)Ian Pratt-Hartmann, and Lawrence S. Moss. CoRR (2008)a year and 5 months agoby dblp1
- Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, and Michael Zakharyaschev. CoRR (2011)Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, and Michael Zakharyaschev. CoRR (2011)a year and 5 months agoby dblp1
- Yevgeny Kazakov, and Ian Pratt-Hartmann. CoRR (2009)Yevgeny Kazakov, and Ian Pratt-Hartmann. CoRR (2009)a year and 5 months agoby dblp2
- Ian Pratt-Hartmann. Journal of Logic, Language and Information 20(4):445-474 (2011)Ian Pratt-Hartmann. Journal of Logic, Language and Information 20(4):445-474 (2011)a year and 8 months agoby dblp1