计算机科学逻辑,第14届EACSL年会,德国菲施巴乔,2000年8月21日至26日,会议记录

彼得·克洛特,赫尔穆特·施维赫滕贝格,编辑,计算机科学逻辑,第14届EACSL年会,德国菲施巴乔,2000年8月21日至26日,会议记录第1862卷,共计算机科学课堂讲稿、施普林格、,2000

会议:csl2000标准

参考文献