Открытый каталог публикаций OpenAlex 2 457 документов

• Probabilistic prediction in patient management and clinical trials
  автор: David J. Spiegelhalter год: 1986 источник: Statistics in Medicine тип: статья из журнала
  Страница публикацииПодробнее
• Proof Theory of Modal Logic
  автор: Heinrich Wansing год: 1996 источник: Applied logic series тип: книга
  Страница публикацииПодробнее
• The state-of-the-art strategies of protein engineering for enzyme stabilization
  авторы: Qian Liu; Guanhua Xun; Yan Feng год: 2018 источник: Biotechnology Advances тип: review
  Страница публикацииПодробнее
• Can psychopathic offenders discern moral wrongs? A new look at the moral/conventional distinction.
  авторы: Eyal Aharoni; Walter Sinnott‐Armstrong; Kent A. Kiehl год: 2011 источник: Journal of Abnormal Psychology тип: статья из журнала
  Полный текстПодробнее
• Hierarchies of modal and temporal logics with reference pointers
  автор: Valentin Goranko год: 1996 источник: Journal of Logic Language and Information тип: статья из журнала
  Полный текстПодробнее
• Cryptography and Coding
  автор: Kenneth G. Paterson год: 2003 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Modal logic with names
  авторы: George Gargov; Valentin Goranko год: 1993 источник: Journal of Philosophical Logic тип: статья из журнала
  Страница публикацииПодробнее
• Labelled Deduction
  авторы: David Basin; Marcello D’Agostino; Dov M. Gabbay и др. год: 2000 источник: Applied logic series тип: книга
  Страница публикацииПодробнее
• Hybrid logics: characterization, interpolation and complexity
  авторы: Carlos Areces; Patrick Blackburn; M. Marx год: 2001 источник: Journal of Symbolic Logic тип: статья из журнала
  Страница публикацииПодробнее
• Two subtypes of psychopathic violent offenders that parallel primary and secondary variants.
  авторы: Jennifer L. Skeem; Peter Johansson; Henrik Andershed и др. год: 2007 источник: Journal of Abnormal Psychology тип: статья из журнала
  Страница публикацииПодробнее
• Proof-Pattern Recognition and Lemma Discovery in ACL2
  авторы: Jónathan Heras; Ekaterina Komendantskaya; Moa Johansson и др. год: 2013 источник: Lecture notes in computer science тип: глава из книги
  Полный текстПодробнее
• Tableau-based Decision Procedures for Hybrid Logic
  авторы: Thomas Bolander; Torben Braüner год: 2006 источник: Journal of Logic and Computation тип: статья из журнала
  Полный текстПодробнее
• Is criminal behavior a central component of psychopathy? Conceptual directions for resolving the debate.
  авторы: Jennifer L. Skeem; David J. Cooke год: 2010 источник: Psychological Assessment тип: статья из журнала
  Страница публикацииПодробнее
• Linguistics, Logic and Finite Trees
  авторы: Patrick Blackburn; Wilfried Meyer-Viol год: 1994 источник: Logic Journal of IGPL тип: статья из журнала
  Полный текстПодробнее
• Internalization: The Case of Hybrid Logics
  автор: Jeremy Seligman год: 2001 источник: Journal of Logic and Computation тип: статья из журнала
  Страница публикацииПодробнее