Tools

LEADER 01906cam 22004574a 4500

001 ocm43641434;

003 OCoLC;

005 20141212142620.0;

008 000309s2000 gw a b 101 0 eng ;

010 a| 00029649;

020 a| 3540672818 (softcover : alk. paper);

035 a| (Sirsi) o43641434;

035 a| (OCoLC)43641434;

042 a| pcc;

049 a| EREE;

050 00 a| QA9.A1b| F73 2000;

072 7 a| QA2| lcco;

082 00 a| 511.32| 21;

111 2 a| FroCoS (Symposium)n| (3rd :d| 2000 :c| Nancy, France)=| ^A454038;

245 10 a| Frontiers of combining systems :b| third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings /c| Hélène Kirchner, Christophe Ringeissen (eds.).;

246 18 a| FroCoS 2000, frontiers of combining systems;

300 a| x, 289 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| 1794.a| Lecture notes in artificial intelligence;

504 a| Includes bibliographical references and index.;

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

650 0 a| Computer sciencev| Congresses.=| ^A243325;

700 1 a| Kirchner, H.q| (Hélène)=| ^A270934;

700 1 a| Ringeissen, Christophe,d| 1967-=| ^A454039;

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

830 0 a| Lecture notes in computer science.p| Lecture notes in artificial intelligence.=| ^A467263;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har000783383c| 74.00 DEM;

980 a| 2000-05-31b| 52d| 2.62e| 43.68f| 325719;

596 a| 1;

998 a| 746480;

999 a| QA9.A1 F73 2000w| LCc| 1i| 30372010727037d| 1/31/2013l| JGESm| JOYNERp| $43.68q| 1r| Ys| Yt| JGESBKu| 8/8/2000x| BOOKz| JSTACKSo| .STAFF. 0;

Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings / Hélène Kirchner, Christophe Ringeissen (eds.).

Author/creator	FroCoS (Symposium)
Other author	Kirchner, H. (Hélène)
Other author	Ringeissen, Christophe, 1967-
Format	Book
Publication Info	Berlin ; New York : Springer, ©2000.
Description	x, 289 pages : illustrations ; 24 cm.
Subjects	Logic, Symbolic and mathematical--Congresses. Computer science--Congresses.

Spine title	FroCoS 2000, frontiers of combining systems
Series	Lecture notes in computer science ; 1794. Lecture notes in artificial intelligence Lecture notes in computer science 1794. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography note	Includes bibliographical references and index.
LCCN	00029649
ISBN	3540672818 (softcover : alk. paper)

Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings / Hélène Kirchner, Christophe Ringeissen (eds.).

Click here for more information about this title