作者搜索结果

Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London / / edited by Johan Van Benthem, Dov Gabbay, Benedikt Lowe.

Participants: Augustus de Morgan Workshop London, England) [ ]; ProQuest (Firm) [ ]; Benthem, J. F. A. K. van, 1949- [ TeilnehmendeR ]; Lowe, Benedikt. [ TeilnehmendeR ]; Gabbay, Dov M., 1945- [ TeilnehmendeR ]; ...
出版: c2007.
Superior document: Texts in logic and games ; v. 1

“...Augustus de Morgan Workshop London, England)...”

Links: 获取全文