Related Books
Language: en
Pages: 1399
Pages: 1399
Type: BOOK - Published: 2003-06-26 - Publisher: Springer
These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th
Language: en
Pages: 134
Pages: 134
Type: BOOK - Published: 1999 - Publisher:
Language: en
Pages: 162
Pages: 162
Type: BOOK - Published: 1991 - Publisher:
Language: en
Pages: 299
Pages: 299
Type: BOOK - Published: 2003-04-15 - Publisher: Springer Science & Business Media
Nowadays, engineering large-scale software systems means dealing with complex systems composed of pervasive software components that move around and adapt to no
Language: en
Pages: 470
Pages: 470
Type: BOOK - Published: 2005-08-25 - Publisher: Springer
This volume contains the proceedings of the 20th International Conference on Automated Deduction (CADE-20). It was held July 22–27, 2005 in Tallinn, Estonia..
