Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Bibliographic Details
Published in:Springer e-books
Main Author: Ong, Luke
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer-Verlag GmbH., 2005
Series:Lecture Notes in Computer Science,
Subjects:
Artificial intelligence
Computer Science
Logic design
Logic, Symbolic and mathematical
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Online Access:http://dx.doi.org/10.1007/11538363
Перейти в каталог НБ ТГУ
Description
ISBN:9783540318972
ISSN:0302-9743 ;

Similar Items