[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 4378 ||
Virbitskaite, Irina, Voronkov, AndreiVolume:
10.1007/97
Year:
2007
Language:
english
DOI:
10.1007/978-3-540-70881-0
File:
PDF, 9.24 MB
english, 2007