SULJE VALIKKO

avaa valikko

Logic Programming - 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings
117,20 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 524 sivua
Asu: Pehmeäkantinen kirja
Painos: 2003
Julkaisuvuosi: 2003, 25.11.2003 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 2916
This volume contains the proceedings of the 19th International Conference on Logic Programming, ICLP 2003, which was held at the Tata Institute of F- damental Research in Mumbai, India, during 9-13 December, 2003. ICLP 2003 was colocated with the 8th Asian Computing Science Conference, ASIAN 2003, andwasfollowedbythe23rdConferenceonFoundationsofSoftwareTechnology and Theoretical Computer Science, FSTTCS 2003. The latter event was hosted by the Indian Institute of Technology in Mumbai. In addition, there were ?ve satellite workshops associated with ICLP 2003: - PPSWR 2003, Principles and Practice of Semantic Web Reasoning, 8th Dec. 2003, organized by Fran, cois Bry, Nicola Henze, and Jan Maluszynski. - COLOPS 2003, COnstraint & LOgic Programming in Security, 8th Dec. 2003, organized by Martin Leucker, Justin Pearson, Fred Spiessens, and Frank D. Valencia. - WLPE 2003, Workshop on Logic Programming Environments, organized by Alexander Serebrenik and Fred Mesnard. - CICLOPS2003,ImplementationofConstraintandLOgicProgrammingS- tems, 14th Dec. 2003, organized by Michel Ferreira and Ricardo Lopes. - SVV 2003, Software Veri?cation and Validation, 14th Dec.
2003, organized by Sandro Etalle, Supratik Mukhopadhyay, and Abhik Roychoudhury.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Logic Programming - 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedingszoom
Näytä kaikki tuotetiedot
ISBN:
9783540206422
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste