Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings / edited by Anuj Dawar, Ruy de Queiroz.

Saved in:
書目詳細資料
企業作者: SpringerLink (Online service)
其他作者: Dawar, Anuj (Editor), de Queiroz, Ruy (Editor)
格式: 電子書
語言:English
出版: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
版:1st ed. 2010.
叢編:Lecture Notes in Artificial Intelligence ; 6188
Springer eBook Collection.
主題:
Programming languages (Electronic computers).
Computer programming.
Computers.
Mathematical logic.
Computer logic.
Algorithms.
Electronic resources (E-books)
在線閱讀:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
登錄 預定和召回信息

因特網

Click to view e-book

Online

持有資料詳情 Online
索引號: E-Book
Copy 1 可用

相似書籍