TY - DATA AU - Christiansen,Henning AU - Skadhauge,Peter Rossen AU - Villadsen,JÃŗgen ED - SpringerLink (Online service) TI - Constraint Solving and Language Processing: First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers T2 - Lecture Notes in Computer Science, SN - 9783540319283 PY - 2005/// CY - Berlin Heidelberg PB - Springer-Verlag GmbH. KW - Artificial intelligence KW - Computer science KW - Computer Science KW - Artificial Intelligence (incl. Robotics) KW - Mathematical Logic and Formal Languages KW - Programming Languages, Compilers, Interpreters KW - Programming Techniques N1 - Restringido a usuarios de la UCA UR - http://dx.doi.org/10.1007/b136253 ER -