SATToSE 2015: The post-proceedings editorial

被引：0
|
作者：
Osman, Haidar [1 ]
Di Ruscio, Davide [2 ]
Zaytsev, Vadim [3 ]
Lungu, Mircea [4 ]
Bagge, Anya Helene [5 ]
机构：
[1] University of Bern, Switzerland
[2] University of L'Aquila, Italy
[3] Raincode, Belgium
[4] University of Groningen, Netherlands
[5] University of Bergen, Norway
来源：
CEUR Workshop Proceedings | 2015年 / 1820卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] SATToSE 2017: The post-proceedings editorial
    Osman, Haidar
    Chis, Andrei
    Ruscio, Davide Di
    Zaytsev, Vadim
    CEUR Workshop Proceedings, 2017, 2070
  • [2] SATToSE 2014: The post-proceedings editorial
    1600, CEUR-WS (1354)
  • [3] Logics in AI: post-proceedings JELIA06 (Editorial)
    Michael Fisher
    Wiebe van der Hoek
    Annals of Mathematics and Artificial Intelligence, 2007, 50 : 227 - 229
  • [4] Logics in AI: Post-proceedings JELIA06 (Editorial)
    Fisher, Michael
    van der Hoek, Wiebe
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2007, 50 (3-4) : 227 - 229
  • [5] Post-Proceedings Support in a Family Drug and Alcohol Court
    Baginsky, Mary
    Hickman, Ben
    Manthorpe, Jill
    BRITISH JOURNAL OF SOCIAL WORK, 2024, 54 (06): : 2336 - 2357
  • [6] Editorial Comment: 2015 Knee Society Proceedings
    Backstein, David J.
    CLINICAL ORTHOPAEDICS AND RELATED RESEARCH, 2016, 474 (01) : 38 - 39
  • [7] Editorial for the Special Issue: Toxins 2015 proceedings
    Hallett, Mark
    TOXICON, 2015, 107 : 1 - 1
  • [8] Editorial Comment: 2015 Hip Society Proceedings
    Goodman, Stuart B.
    CLINICAL ORTHOPAEDICS AND RELATED RESEARCH, 2016, 474 (02) : 319 - 320
  • [9] Complexity, Cognition, Urban Planning and Design Post-Proceedings of the 2nd Delft International Conference
    Portugali, Juval
    Stolk, Egbert
    COMPLEXITY, COGNITION, URBAN PLANNING AND DESIGN, 2016, : XVII - XXVI
  • [10] Editorial: Proceedings of the 2015 Workshop on the Determination of the Fundamental Constants
    Burgess, Donald R., Jr.
    JOURNAL OF PHYSICAL AND CHEMICAL REFERENCE DATA, 2015, 44 (03)
12345