Tools

LEADER 01403cam 22003618a 4500

001 ocm30979022;

003 OCoLC;

005 20141212114916.0;

008 940728s1994 gw a b 100 0 eng ;

010 a| 94023053;

020 a| 354058403X (Berlin);

020 a| 038758403X;

035 a| (Sirsi) o30979022;

035 a| (OCoLC)30979022;

049 a| EREE;

050 00 a| QA74.6b| .C6515 1994;

082 00 a| 005.13/12| 20;

245 00 a| Constraints in computational logics :b| first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /c| Jean-Pierre Jouannaud (Ed.).;

300 a| viii, 367 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 845;

504 a| Includes bibliographical references.;

650 0 a| Computer programmingv| Congresses.=| ^A34403;

650 0 a| Logic, Symbolic and mathematicalv| Congresses.=| ^A39117;

700 1 a| Jouannaud, Jean-Pierre.=| ^A165094;

830 0 a| Lecture notes in computer sciencev| 845.=| ^A466336;

596 a| 1;

998 a| 569269;

999 a| QA74.6 .C6515 1994w| LCc| 1i| 30372008778612d| 2/7/2013f| 2/7/2013g| 1l| JGESm| JOYNERp| $52.00r| Ys| Yt| JGESBKu| 2/3/1995x| BOOKz| JSTACKSo| .STAFF. 0;

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings / Jean-Pierre Jouannaud (Ed.).

Other author	Jouannaud, Jean-Pierre.
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1994.
Description	viii, 367 pages : illustrations ; 24 cm.
Subjects	Computer programming--Congresses. Logic, Symbolic and mathematical--Congresses.

Series	Lecture notes in computer science ; 845 Lecture notes in computer science 845. ^A466336
Bibliography note	Includes bibliographical references.
LCCN	94023053
ISBN	354058403X (Berlin)
ISBN	038758403X

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA74.6 .C6515 1994	✔ Available	Place Hold

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings / Jean-Pierre Jouannaud (Ed.).

Click here for more information about this title

Availability