Find out when it's back

We’ll send you an email as soon as this item is available to buy online.

Email address

Books
Computers
Computer Science

Buy Now, In-Store Pick Up Only

Free Preview of Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

ebook preview

Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

Name: Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers
Price: 71.50 CAD
Availability: InStock
Author: Hans Kleine Buening
ISBN: 9783540613770

Edited by Hans Kleine Buening

bvseo_sdk, dw_cartridge, 18.2.0, p_sdk_3.2.0
CLOUD, getAggregateRating, 10ms
reviews, product
bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Jun 05, 1996

$71.50

Online pricing. Prices and offers may vary in store.

. Learn More

This product requires a minimum order of 1

Final Sale. No returns or exchanges.

This item will be shipped by appointment through our delivery partner.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 358 points and enjoy extra savings with plum+. Learn more

Overview

Appropriate for

Language

No. of Pages

492

Lecture Notes In Computer Science

Publisher: Springer

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783540613770

Life stage: null

Ratings & Reviews

bvseo_sdk, dw_cartridge, 18.2.0, p_sdk_3.2.0
CLOUD, getReviews, 5ms
reviews, product
bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Editorial reviews

hans kleine buening

Author

Others Also Bought

Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Maurice Bruynooghe Paperback
$80.50
Pattern Recognition: 4th International Conference Cambridge, UK, March 28-30, 1988; Proceedings

Paperback
$71.50
Computer Music Modeling and Retrieval: International Symposium, CMMR 2003, Montpellier, France, May 26-27, 2003, Revised Papers

Uffe K. Wiil Hardcover
$160.95
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

Paperback
$71.50
Mathematical Foundations of Computer Science 1978: 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings

Paperback
$71.50
SOFSEM 2001: Theory and Practice of Informatics: 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings

Leszek Pacholski Paperback
$80.50
Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings

Laurent Fribourg Paperback
$160.95
Mathematical Foundations Of Computer Science 2013: 38th International Symposium, Mfcs 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings

Krishnendu Chatterjee Paperback
$80.50
Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings

Edward Ochmanski Paperback
$160.95
Computational Linguistics and Intelligent Text Processing: 18th International Conference, CICLing 2017, Budapest, Hungary, April 17-23, 2017, Revised Selected Papers, Part I

Alexander Gelbukh Paperback
$80.50
2 formats available
Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001 Revised Papers

Harrie C.M. de Swart Paperback
$80.50
Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings

Yoram Moses Paperback
$80.50
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Martin Gebser Paperback
$58.50
Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedin: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings

Leszek Gäsieniec Paperback
$80.50
Computer Safety, Reliability And Security: 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings

Wolfgang Ehrenberger Paperback
$80.50
Experimental Algorithms: 14th International Symposium, Sea 2015, Paris, France, June 29 - July 1, 2015, Proceedings

Evripidis Bampis Paperback
$80.50
Algorithms - ESA 2010: 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings

Mark De Berg Paperback
$80.50
Computer Science - Theory and Applications: 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020, Proceedings

Henning Fernau Paperback
$80.50
2 formats available
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Martin Gebser Paperback
$94.95
2 formats available
Distributed Computing: 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009, Proceedings

Idit Keidar Paperback
$160.95

Choose format

PROMOTION DETAILS

*Valid November 28, 2024 - December 2, 2024 at Canadian stores and at indigo.ca, while quantities last, with $50.00 or more pre-tax purchase of eligible product(s), after discounts and plum points redemptions. Minimum purchase amount excludes gift cards, plum+ memberships, Love of Reading products/donations, and shipping costs. Selection may vary between stores and online.

Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

Overview

You May Also Like

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

Access Networks: 4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009, Revised Selected Papers

DNA Computing: 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Pape: 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers

Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings

Virtual Reality and Mixed Reality: 20th EuroXR International Conference, EuroXR 2023, Rotterdam, The Netherlands, November 29 - December 1, 2023, Proceedings

Virtual Reality and Mixed Reality: 20th EuroXR International Conference, EuroXR 2023, Rotterdam, The Netherlands, November 29 - December 1, 2023, Proceedings

Engineering the Web in the Big Data Era: 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings

TeX, XML, and Digital Typography: International Conference on TEX, XML, and Digital Typography, Held Jointly with the 25th Annual Meeting of the TEX User Group, TUG 2004, Xanthi, Greece, August 30 - September 3, 2004, Proceedings

Swarm, Evolutionary, and Memetic Computing: 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers

Computer Aided Systems Theory - EUROCAST 2019: 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019, Revised Selected Papers, Part II

Algorithmic Learning Theory: 9th International Conference, Alt'98, Otzenhausen, Germany, October 8-10, 1998 Proceedings

Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers

Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001 Revised Papers

Flexible Query Answering Systems: 5th International Conference, FQAS 2002. Copenhagen, Denmark, October 27-29, 2002, Proceedings

Rule-Based Modeling and Computing on the Semantic Web: 5th International Symposium, RuleML 2011 - America, Ft. Lauderdale, FL, USA, November 3-5, 2011, Proceedings

Algorithmic Aspects of Cloud Computing: 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers

Advances in Visual Computing: 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers, Part I

Parallel Problem Solving from Nature - PPSN XVI: 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I

AI, Data, and Digitalization: First International Symposium, SAIDD 2023, Sogndal, Norway, May 9-10, 2023, Revised Selected Papers

Algorithmic Aspects of Cloud Computing: 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Pattern Recognition: 4th International Conference Cambridge, UK, March 28-30, 1988; Proceedings

Computer Music Modeling and Retrieval: International Symposium, CMMR 2003, Montpellier, France, May 26-27, 2003, Revised Papers

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

Mathematical Foundations of Computer Science 1978: 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings

SOFSEM 2001: Theory and Practice of Informatics: 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings

Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings

Mathematical Foundations Of Computer Science 2013: 38th International Symposium, Mfcs 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings

Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings

Computational Linguistics and Intelligent Text Processing: 18th International Conference, CICLing 2017, Budapest, Hungary, April 17-23, 2017, Revised Selected Papers, Part I

Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001 Revised Papers

Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings

Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedin: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings

Computer Safety, Reliability And Security: 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings

Experimental Algorithms: 14th International Symposium, Sea 2015, Paris, France, June 29 - July 1, 2015, Proceedings

Algorithms - ESA 2010: 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings

Computer Science - Theory and Applications: 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020, Proceedings

Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Distributed Computing: 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009, Proceedings