×

伊西查尔

swMATH ID: 13265
软件作者： 沃伦科夫，A。
描述： EasyChair是一个灵活、易于使用的会议管理系统，具有许多功能，适合各种会议模式。它可能是目前最常用的会议管理系统。
主页： http://www.easychair.org/
相关软件： VAMPIRE公司；E定理证明器；TPTP公司；大锤；z3（零3）；BliStr公司；BliStrTune；Coq公司；伊莎贝尔/HOL；CVC4型；水獭；SPASS公司；HOL公司；SMT-LIB公司；MPTP 0.2；超小卫星；阿凡达；毫升；萨塔拉克；HOL灯
引用于： 56文件
全部的 前5名

119位作者引用

5 约瑟夫·乌尔班
4 Jakubův，简
三 贾斯敏·克里斯蒂安·布兰切特
三 米罗斯拉夫·奥沙克
2 阿明·比尔
2 卡雷尔·奇瓦洛夫斯克
2 大卫·德拉哈耶
2 彼得·扬查尔
2 康斯坦丁·科洛文
2 安德鲁·威廉·罗斯科
2 斯特拉图拉特，索林
2 马丁·苏达
2 杰夫·萨特克利夫
2 索菲·托雷特
1 阿夫沙里语、巴哈雷语
1 巴洛迪斯、卡斯帕斯
1 哈尼尔·巴博萨
1 李·巴奈特（Lee A.Barnett）。
1 贝恩德·贝克尔
1 利波·Běhounek
1 亚历山大·本特坎普
1 克里斯托夫·埃瓦尔德·本兹穆勒
1 奥拉夫·拜尔斯多夫
1 乔舒亚·布林霍恩
1 玛丽亚·保拉（Maria Paola Bonacina）
1 博什纳奇·德拉甘
1 布齐安·欣德·莉莉亚
1 乍得·布朗·爱德华
1 纪尧姆·伯勒
1 纪尧姆·伯里
1 朱莉·凯勒
1 大卫·M·塞尔纳。
1 Luis F.Chiroque。
1 德米特里五世·奇斯蒂科夫。
1 克莱尔·西尼
1 牧场克利夫兰
1 迈克尔·科迪什
1 西蒙·克鲁恩斯
1 库卡斯·扎伊卡
1 马丁·德沙奈斯
1 克劳斯·阿格博士
1 mnesc博士，Isabela
1 尤金·埃伯巴赫
1 加布里埃尔·埃布纳
1 托马斯·艾特
1 皮埃尔·卢伊斯·尤夫拉德
1 迈克尔·Färber
1 安东尼奥·费尔南德斯·安塔
1 阿兰·芬克尔
1 达纳·菲斯曼
1 马蒂亚斯·弗勒里
1 帕斯卡·方丹
1 阿德里安·弗兰卡兰扎
1 哈达尔·弗兰克尔
1 纳文·库马尔·加格
1 Thibault Gauthier
1 卡里娜·吉蒂娜
1 格雷斯，伯恩哈德
1 查拉图斯特拉·阿马德乌斯·戈泽尔
1 圣菲省格拉汉·伦格兰德
1 克里斯托夫·哈斯
1 马尔顿哈杜
1 西蒙·哈尔丰
1 Edvard K.霍尔顿。
1 佩特拉·霍佐娃
1 阿夫拉罕·伊扎科夫
1 伊万诺夫，列夫根
1 都铎Jebelean
1 Cezary卡利西克
1 Joost-Pieter卡托恩
1 特利凯帕利·卡维塔
1 苏拉布·O·卡西达什维利。
1 科瓦奇，劳拉·伊尔迪科
1 阿米特·库马尔
1 格雷厄姆·埃米尔·利
1 洛佩斯·普雷萨，何塞·路易斯
1 米纳·马哈扬
1 Ondrej Majer
1 松冈佐治
1 库尔特·梅尔霍恩
1 吉勒莫梅内德斯·图拉塔
1 戴维·梅斯特尔
1 朱利安·梅斯特雷
1 马丁·Möhrmann
1 Yutaka长岛
1 艾娜·尼梅茨
1 苏珊娜·尼娃
1 Nikitchenko、Mykola S。
1 珍妮弗·尼斯特
1 M·普拉文。
1 马蒂亚斯·普雷纳
1 乘务长，大卫
1 埃琳娜·拉夫。
1 迈克尔·劳森
1 贾尔斯·里格尔
1 西蒙·罗比拉德
1 约翰·罗辛
1 费尔南多·Sáenz-Pérez
1 詹姆·桑切斯·埃尔南德斯
1 大卫·桑兹
…还有19位作者
全部的 前5名

18篇连载文章中引用

9 自动推理杂志
三 AI通信
2 理论计算机科学
1 信息学报
1 符号计算杂志
1 算法学
1 信息与计算
1 国际近似推理杂志
1 系统设计中的形式化方法
1 应用非经典逻辑杂志
1 数学与人工智能年鉴
1 摩尔多瓦计算机科学杂志
1 约束条件
1 计算机基础理论
1 应用数学杂志
1 计算机科学中的逻辑方法
1 程序设计中的逻辑和代数方法杂志
1 EPiC计算系列
全部的 前5名

10个领域引用

49 计算机科学（68至XX）
14 数学逻辑和基础（03-XX）
2 组合数学（05-XX）
2 群论与推广（20-XX）
2 运筹学、数学规划（90-XX）
1 总体主题；集合（00-XX）
1 有序，格，有序代数结构（06-XX）
1 数论（11-XX）
1 线性代数和多线性代数；矩阵理论（15-XX）
1 系统论；控制（93至XX）

按年份列出的引文