Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: Basi6 International, Irving, TX, U.S.A.
Book
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Published by Springer, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book Print on Demand
Soft Cover. Condition: new. This item is printed on demand.
Published by Springer, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New. pp. 484.
Published by Springer, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: Majestic Books, Hounslow, United Kingdom
Book
Condition: New. pp. 484 Illus.
Published by Springer, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: Basi6 International, Irving, TX, U.S.A.
Book
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Published by Springer, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Book
Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability.
Published by Springer, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Book
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also.
Published by Springer Berlin Heidelberg Dez 2008, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. The volume presents 31 revised refereed papers carefully selected by the program committee. All current aspects of logic in computer science are addressed, including constructive mathematics and type theory, logical foundations of programming, logical aspects of computational complexity, logic programming and constraints, automated deduction and interactive theorem proving, logical methods in protocol and program verification and in program specification and extraction, domain theory logics, logical foundations of database theory, equational logic and term rewriting, lambda and combinatory calculi, categorical logic and topological semantics, linear logic, epistemic and temporal logics, intelligent and multiple agent system logics, logics of proof and justification, nonmonotonic reasoning, logic in game theory and social software, logic of hybrid systems, distributed system logics, system design logics, as well as other logics in computer science. 484 pp. Englisch.
Published by Springer, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer Verlag, 2009
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 2009 edition. 467 pages. 9.25x6.25x1.25 inches. In Stock.
Published by Springer, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Springer Berlin Heidelberg, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: Buchpark, Trebbin, Germany
Book
Condition: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken leicht angestossen | Seiten: 484 | Sprache: Englisch.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book
Condition: New. Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. This title presents 31 revised refereed papers that were selected by the program committee. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 480 pages, biography. BIC Classification: PBC; UMB; UMX; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 736. . 2008. 2009th Edition. paperback. . . . .
Published by Springer Berlin Heidelberg, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. The volume presents 31 revised refereed papers carefully selected by the program committee. All current aspects of logic in computer science are addressed, including constructive mathematics and type theory, logical foundations of programming, logical aspects of computational complexity, logic programming and constraints, automated deduction and interactive theorem proving, logical methods in protocol and program verification and in program specification and extraction, domain theory logics, logical foundations of database theory, equational logic and term rewriting, lambda and combinatory calculi, categorical logic and topological semantics, linear logic, epistemic and temporal logics, intelligent and multiple agent system logics, logics of proof and justification, nonmonotonic reasoning, logic in game theory and social software, logic of hybrid systems, distributed system logics, system design logics, as well as other logics in computer science.
Published by Springer Berlin Heidelberg, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: moluna, Greven, Germany
Book Print on Demand
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. The volume presents 31 revised refereed papers carefully selected by .
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Book
Condition: New. Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. This title presents 31 revised refereed papers that were selected by the program committee. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 480 pages, biography. BIC Classification: PBC; UMB; UMX; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 736. . 2008. 2009th Edition. paperback. . . . . Books ship from the US and Ireland.
Published by Springer 2008-12, 2008
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer, 2009
ISBN 10: 3540926860ISBN 13: 9783540926863
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Paperback. Condition: Like New. Like New. book.