Computer Science Logic 14th (39 results)
Language: English
Published by IEEE Computer Society Press, Los Alamitos, CA, U.S.A. 1999
- Hardcover
- First Edition
Seller: SUNSET BOOKS 2, Newark, U.S.A.SUNSET BOOKS 2
Contact seller4-star sellerCondition: Used - Very good
US$ 26.00
US$ 7.25 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. No Jacket. 1st. With full markings and pocket. Case bound. Volume will not fit in Flat Rate Priority Mail envelope. WILL require extra postage dependent on method of shipment and destination. Size: 4to. Ex-Library.
- Softcover
Seller: California Books, Miami, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 68.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 70.15
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books From California, Simi Valley, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Very good
US$ 74.45
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Very Good.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.76
US$ 16.09 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.76
US$ 16.09 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.76
US$ 16.09 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.76
US$ 16.09 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.76
US$ 16.09 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.76
US$ 16.09 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.76
US$ 16.09 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 82.42
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 66.12
US$ 20.81 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 83.24
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.75
US$ 20.15 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 80.31
US$ 16.09 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 74.28
US$ 20.81 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 77.37
US$ 20.15 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 120.13
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 64.21
US$ 75.02 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - TheAnnualConferenceoftheEuropeanAssociationforComputerScienceLogic (EACSL), CSL 2005, was held at the University of Oxford on 22 25 August 2005. The conference series started as a programme of International Workshops onComputerScienceLogic,andtheni…nits6thmeetingbecametheAnnualC- ference of the EACSL. This conference was the 19th meeting and 14th EACSL conference; it was organized by the Computing Laboratory at the University of Oxford. The CSL 2005 Programme Committee considered 108 submissions from 25 countries during a two-week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 33 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Matthias Baaz, Ulrich Berger, Maarten Marx and Anatol Slissenko; the papers provided by the invited speakers appear at the front of this volume. Instituted in 2005, the Ackermann Award is the EACSL Outstanding D- sertation Award for Logic in Computer Science. The award winners for the - augural year, Mikola j Bojanczyk, Konstantin Korovin and Nathan Segerlind, were invited to present their work at the conference. Citations for the awards, abstracts of the theses, and biographical sketches of the award winners are at the end of the proceedings.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 60.33
US$ 81.59 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Computer Science Logic | 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings | Luke Ong | Taschenbuch | xi | Englisch | 2005 | Springer | EAN 9783540282310 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17,… 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: Mispah books, Redhill, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 116.21
US$ 33.58 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: Mispah books, Redhill, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 116.21
US$ 33.58 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: Mispah books, Redhill, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 116.21
US$ 33.58 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: Mispah books, Redhill, United KingdomMispah books
Contact seller4-star sellerCondition: New
US$ 124.51
US$ 33.58 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New. New. book.
- Softcover
Seller: Rarewaves.com UK, London, United KingdomRarewaves.com UK
Contact seller5-star sellerCondition: New
US$ 69.27
US$ 87.31 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 2011th.
- Softcover
Seller: Mispah books, Redhill, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 150.80
US$ 33.58 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. Like New. book.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 128.44
US$ 74.85 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - CSL is the annual conference of the European Association for Computer Science Logic (EACSL). CSL2000 is the 14th such annual conference, thus witnessing the importance and sustained international interest in the application of me- ods from mathemat…ical logic to computer science. The current conference was organized by the Mathematics Institute and the Computer Science Institute of the Ludwig-Maximilians-Universit at Munc hen (LMU), with generous nancial supportfromtheDeutscheForschungsgemeinschaft,Forschungsinstitutfur an- wandte Softwaretechnologie (FAST e.V.), Munc hener Universit atsgesellschaft e.V., and Siemens AG. Our sponsors generosity enabled, among other things, stipends for the nancial support of students as well as of researchers from Ea- ern Europe. Topics in the call for papers for CSL2000 included: automated deduction andinteractivetheoremproving,categoricallogicandtopologicalsemantics,c- structivemathematicsandtypetheory,domaintheory,equationallogicandterm rewriting, nite model theory, database theory, higher order logic, lambda and combinatory calculi, logical aspects of computational complexity, logical fo- dations of programming paradigms, logic programming and constraints, linear logic, modal and temporal logics, model checking, program extraction, program logicsandsemantics,programspeci cation,transformationandveri cation.The invited speakers were: Moshe Vardi (Houston), Paul Beame (Washington), - dreas Blass (Ann Arbor), Egon B orger (Pisa), Yuri Gurevich (Redmond), Bruno Poizat (Lyons), Wolfram Schulte (Redmond), Saharon Shelah (Jerusalem), and Colin Sterling (Edinburgh). Special thanks to Moshe Vardi for being willing to speakintheplaceofMikl osAjtai(Almaden),whocouldnotattendthemeeting. The day of 24 August 2000, during the week-long CSL2000 meeting, was reserved for theGurevichSymposium, a special, one-day tribute to the scienti c contributions of Professor Yuri Gurevich, at the occasion of his 60th birthday.
Logic, Language, and Computation: 14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 1822, 2023, Revised Selected Papers (Lecture Notes in Computer Science, 15661)
Jalali, Raheleh (Editor)/ Hogeweg, Lotte (Editor)/ Sedlár, Igor (Editor)/ Schwarz, Lena (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 224.43
US$ 13.43 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 299 pages. 6.14x0.63x9.21 inches. In Stock.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 233.15
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
