Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy)

出版社: Springer(2010-12-07)

ペーパーバック: 428 ページ / 15.2 x 2.5 x 22.9 cm

ISBN-10: 9048145848  ISBN-13: 9789048145843