Computer Science Logic 12th (35 results)
Language: English
Published by IEEE Computer Society Press, Los Alamitos, CA, U.S.A., 1997
- Hardcover
- First Edition
Seller: SUNSET BOOKS 2, Newark, OH, U.S.A.SUNSET BOOKS 2
Contact seller5-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: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Very good
US$ 43.69
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…
Computer Science Logic : 12th International Workshop, Csl '98 : Annual Conference of the Eacsl, Brno, Czech Republic, August, 1998 : Proceedings
Gottlob, Georg (EDT); Gottlob, G.; Grandjean, E.; Seyr, Katrin
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 68.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 68.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 68.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 68.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Computer Science Logic : 12th International Workshop, Csl '98 : Annual Conference of the Eacsl, Brno, Czech Republic, August, 1998 : Proceedings
Gottlob, Georg (EDT); Gottlob, G.; Grandjean, E.; Seyr, Katrin
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.42
US$ 20.04 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Very good
US$ 90.44
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 95.76
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 253.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 97.25
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. 1st ed. 2019 edition NO-PA16APR2015-KAP.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 90.89
US$ 13.36 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 276 pages. 9.25x6.10x0.63 inches. In Stock.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 76.24
US$ 39.02 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Papers.- Trakhtenbrot Theorem and Fuzzy Logic.- Descriptive Complexity, Lower Bounds and Linear Time.- Testing of Finite State Systems.- Contributed Papers.- On the Power of Quantifiers in First-Order Algebraic Specification.- On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases.- Revision Programming = Logic Programming + Integrity Constraints.- Quantifiers and the System KE: Some Surprising Results.- Choice Construct and Lindström Logics.- Monadic NP and Graph Minors.- Invariant Definability and P/poly.- Computational Complexity of Ehrenfeucht-Fraïssé Games on Finite Structures.- An Upper Bound for Minimal Resolution Refutations.- On an Optimal Deterministic Algorithm for SAT.- Characteristic Properties of Majorant-Computability Over the Reals.- Theorems of Péter and Parsons in Computer Programming.- Kripke, Belnap, Urquhart and Relevant Decidability & Complexity.- Existence and Uniqueness of Normal Forms in Pure Type Systems with -conversion.- Normalization of Typable Terms by Superdevelopments.- Subtyping Functional+Nonempty Record Types.- Monotone Fixed-Point Types and Strong Normalization.- Morphisms and Partitions of V-sets.- Computational Adequacy in an Elementary Topos.- Logical Relations and Inductive/Coinductive Types.- On the Complexity of H-Subsumption.- Complexity Classes and Rewrite Systems with Polynomial Interpretation.- RPO Constraint Solving Is in NP.- Quantifier Elimination in Fuzzy Logic.- Many-Valued First-Order Logics with Probabilistic Semantics.…
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 132.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 57.92
US$ 78.03 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Computer Science Logic | 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings | Georg Gottlob (u. a.) | Taschenbuch | x | Englisch | 1999 | Springer | EAN 9783540659228 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
Computer Science Logic : 17th International Workshop, Csl 2003, 12th Annual Conference of the Eacsl, and the 8th Kurt Godel Colloquium, Kgc 2003 : Proceedings
Baaz, Matthias; Makowsky, Johann A. (EDT); Workshop on Computer Science Logic 2003 Vienna University of technolo (EDT); European Association for Computer Science Logic Conference 2003 vienn (COR); Kurt Godel Colloquium 2003 (Vienna University of Technology) (EDT); Baaz, Matthias (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 145.83
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Computer Science Logic : 17th International Workshop, Csl 2003, 12th Annual Conference of the Eacsl, and the 8th Kurt Godel Colloquium, Kgc 2003 : Proceedings
Baaz, Matthias; Makowsky, Johann A. (EDT); Workshop on Computer Science Logic 2003 Vienna University of technolo (EDT); European Association for Computer Science Logic Conference 2003 vienn (COR); Kurt Godel Colloquium 2003 (Vienna University of Technology) (EDT); Baaz, Matthias (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 137.80
US$ 20.04 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 153.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
US$ 148.62
US$ 33.40 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
US$ 148.62
US$ 33.40 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 143.35
US$ 39.02 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gödel Colloquium, KGC 2003 in Vienna, Austria, in August 2003.The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various computing aspects.…
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 149.99
US$ 33.40 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Computer Science Logic : 12th International Workshop, Csl '98 : Annual Conference of the Eacsl, Brno, Czech Republic, August, 1998 : Proceedings
Gottlob, Georg (EDT); Gottlob, G.; Grandjean, E.; Seyr, Katrin
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 178.88
US$ 20.04 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 167.88
US$ 33.40 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, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 169.26
US$ 33.40 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Computer Science Logic : 12th International Workshop, Csl '98 : Annual Conference of the Eacsl, Brno, Czech Republic, August, 1998 : Proceedings
Gottlob, Georg (EDT); Gottlob, G.; Grandjean, E.; Seyr, Katrin
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 198.63
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 243.57
US$ 33.40 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, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 244.94
US$ 33.40 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Computer Science Logic : 17th International Workshop, Csl 2003, 12th Annual Conference of the Eacsl, and the 8th Kurt Godel Colloquium, Kgc 2003 : Proceedings
Baaz, Matthias; Makowsky, Johann A. (EDT); Workshop on Computer Science Logic 2003 Vienna University of technolo (EDT); European Association for Computer Science Logic Conference 2003 vienn (COR); Kurt Godel Colloquium 2003 (Vienna University of Technology) (EDT); Baaz, Matthias (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 302.73
US$ 20.04 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 291.73
US$ 33.40 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Computer Science Logic : 17th International Workshop, Csl 2003, 12th Annual Conference of the Eacsl, and the 8th Kurt Godel Colloquium, Kgc 2003 : Proceedings
Baaz, Matthias; Makowsky, Johann A. (EDT); Workshop on Computer Science Logic 2003 Vienna University of technolo (EDT); European Association for Computer Science Logic Conference 2003 vienn (COR); Kurt Godel Colloquium 2003 (Vienna University of Technology) (EDT); Baaz, Matthias (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 322.48
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
