潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Automata logics, and infinite games : a guide to current research / Erich Gradel, Wolfgang Thomas, Thomas Wilke (eds.).

出版发行项:

Berlin ; New York : Springer, 2002.

ISBN:

3540003886 (alk. paper)

载体形态项:

viii, 385 p. : ill. ; 24 cm.

丛编题名:

Lecture notes in computer science ; 2500

附加个人名称:

Gradel, Erich, 1958-

附加个人名称:

Thomas, Wolfgang, 1947-

附加个人名称:

Wilke, Thomas, 1965-

论题主题:

Computer science-Mathematics.

论题主题:

Machine theory.

论题主题:

Logic, Symbolic and mathematical.

论题主题:

Game theory.

中图法分类号:

TP301.6

书目附注:

Includes bibliographical references (p. [365]-376) and index.

豆瓣简介：