Order Total (1 Item Items):
Shipping Destination:
Computer Science Logic 14th (41 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (41)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (32)
- As New, Fine or Near Fine (7)
- Very Good or Good (2)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (4)
- Not Print on Demand (33)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
LOGIC IN COMPUTER SCIENCE, Proceedings of 14th Annual IEEE Symposium on, 2-5 July 1999, Trento, Italy
Language: English
Published by IEEE Computer Society Press, Los Alamitos, CA, U.S.A., 1999
ISBN 10: 0780357701 ISBN 13: 9780780357709
First Edition
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.
-
-
Condition: As New. Unread book in perfect condition.
-
Advances in Fuzzy Logic and Technology: 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July . Part I (Lecture Notes in Computer Science)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Very Good.
-
Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3573)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.14
US$ 16.06 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings (Lecture Notes in Computer Science, 4790)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.14
US$ 16.06 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science, 4576)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.14
US$ 16.06 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings (Lecture Notes in Computer Science, 3194)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.14
US$ 16.06 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.14
US$ 16.06 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science, 3634)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.14
US$ 16.06 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, ... (Lecture Notes in Computer Science, 6384)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.14
US$ 16.06 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 66.00
US$ 20.77 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
-
Computer Science Logic : 19th International Workshop, Csl 2005, 14th Annual Conference of the Eacsl, Oxford, Uk, August 22-25, 2005, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.13
US$ 20.11 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
-
US$ 74.14
US$ 20.77 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: New.
-
Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 80.75
US$ 16.06 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Computer Science Logic : 19th International Workshop, Csl 2005, 14th Annual Conference of the Eacsl, Oxford, Uk, August 22-25, 2005, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 77.22
US$ 20.11 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
-
-
-
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,andtheninits6thmeetingbecametheAnnualC- 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.
-
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.
-
US$ 115.99
US$ 33.52 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
US$ 115.99
US$ 33.52 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science (3573))
Language: English
Published by Springer Berlin Heidelberg, 2005
ISBN 10: 3540266550 ISBN 13: 9783540266556
US$ 115.99
US$ 33.52 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
US$ 69.14
US$ 87.14 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New. 2011th.
-
US$ 124.28
US$ 33.52 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: New. New. book.
-
US$ 150.52
US$ 33.52 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
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 mathematical 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,categoricallogicandtopologicalsem antics,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.
