Reasoning Web (vol. # 4126) Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures / [electronic resource] :
edited by Pedro Barahona ... [et al.].
- Berlin Heidelberg : Springer-Verlag GmbH., 2006
- xii, 268 pages : illustration, digital ; 24 cm.
- Lecture Notes in Computer Science, 4126 0302-9743 ; .