Computational Logic - CL 2000
First International Conference London, UK, July 24-28, 2000 Proceedings
CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications.
Specificaties
ISBN/EAN | 9783540677970 |
Auteur | John Lloyd |
Uitgever | Van Ditmar Boekenimport B.V. |
Taal | Engels |
Uitvoering | Paperback / gebrocheerd |
Pagina's | 1382 |
Lengte | |
Breedte |