

An edition of Computer science logic (2005)
19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings
By Workshop on Computer Science Logic (19th 2005 Oxford, England)
Publish Date
2005
Publisher
Springer
Language
eng
Pages
565
Description:
subjects: Computer logic, Congresses, COMPUTERS, Programming, Logique (Informatique), Congres, Programmierlogik, Informatique, Open Source, Tools, General, Software Development & Engineering, Logique informatique, Computational logic, Logik, Theoretische Informatik, Logische Programmierung, Computer science, Logic