Relational Methods In Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, T by Harrie C.M. de SwartRelational Methods In Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, T by Harrie C.M. de Swart

Relational Methods In Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop…

byHarrie C.M. de Swart

Paperback | December 11, 2002

Pricing and Purchase Info

$104.20 online 
$124.50 list price save 16%
Earn 521 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the thoroughly refereed joint post-proceedings of the 6th  International Conference on Relational Methods in Computer Science, RelMICS 2001 and the 1st Workshop of COST Action 274 TARSKI, Theory and Application of Relational Structures as Knowledge Instruments held in Oisterwijk, The Netherlands, in October 2001.The 20 revised full papers presented together with an invited paper were carefully reviewed and selected. The papers are organized in topical sections on algebraic and logical foundations of real world relations, mechanization of relational reasoning, and relational scaling and preferences.
Title:Relational Methods In Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop…Format:PaperbackDimensions:318 pages, 23.5 × 15.5 × 0.07 inPublished:December 11, 2002Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540003150

ISBN - 13:9783540003151

Look for similar items by category:

Reviews