LEADER 02162cam a22004457a 4500
005 20130713153439.0
008 050503s2005 gw a b 101 0 eng d
010 |a  2005926888 
020 |a 3540261656 (pbk.) 
024 3 |a 9783540261650 
035 |a (OCoLC)ocm60613522 
040 |a OHX  |c OHX  |d CUS  |d IQU  |d HR-ZaFER  |b hrv  |e ppiak 
042 |a lccopycat 
050 0 0 |a QA76.612  |b .C637 2004 
072 7 |a P  |2 lcco 
072 7 |a QA  |2 lcco 
082 0 0 |a 005.1/16  |2 22 
111 2 |a CSLP 2004  |d (2004 :  |c Roskilde, Denmark) 
245 1 0 |a Constraint solving and language processing :  |b first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers /  |c Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen (eds.). 
246 3 0 |a CSLP 2004 
260 |a Berlin ;  |a New York :  |b Springer,  |c c2005. 
300 |a viii, 204 p. :  |b ill. ;  |c 24 cm. 
490 1 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 3438.  |a Lecture notes in artifical intelligence 
500 |a "1st International Workshop on Constraint Solving and Language Processing"--Pref. 
504 |a Includes bibliographical references and index. 
530 |a Also issued online. 
650 0 |a Constraint programming (Computer science)  |v Congresses. 
650 0 |a Logic programming  |v Congresses. 
650 0 |a Natural language processing (Computer science)  |v Congresses. 
700 1 |a Christiansen, Henning,  |d 1955- 
700 1 |a Skadhauge, Peter Rossen. 
700 1 |a Villadsen, Jørgen. 
830 0 |a Lecture notes in computer science ;  |v 3438. 
830 0 |a Lecture notes in computer science.  |p Lecture notes in artificial intelligence. 
856 4 1 |u http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3438  |z Restricted to SpringerLink subscribers 
856 4 2 |3 Publisher description  |u http://www.loc.gov/catdir/enhancements/fy0663/2005926888-d.html 
906 |a 7  |b cbc  |c copycat  |d 2  |e ncip  |f 20  |g y-gencatlg 
942 |2 udc  |c K 
955 |a pc17 2005-05-03  |a lg27 2005-08-19 to ASCD/Tech. for full cat.  |a jx17 2005-09-19 z-processor  |a jx00 2005-09-21  |i jx13 2005-09-27  |a aa25 2005-10-04 
999 |c 35220  |d 35220