Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: Labyrinth Books, Princeton, NJ, U.S.A.
Condition: New.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 68.73
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Cambridge University Press 2011-03, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. Surveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods. Editor(s): Esparza, Javier; Michaux, Christian; Steinhorn, Charles. Series: London Mathematical Society Lecture Note Series. Num Pages: 356 pages, 55 b/w illus. BIC Classification: PBC; UMB. Category: (P) Professional & Vocational. Dimension: 227 x 154 x 18. Weight in Grams: 518. . 2011. Illustrated. paperback. . . . .
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press CUP, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. xi + 341.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. Surveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods. Editor(s): Esparza, Javier; Michaux, Christian; Steinhorn, Charles. Series: London Mathematical Society Lecture Note Series. Num Pages: 356 pages, 55 b/w illus. BIC Classification: PBC; UMB. Category: (P) Professional & Vocational. Dimension: 227 x 154 x 18. Weight in Grams: 518. . 2011. Illustrated. paperback. . . . . Books ship from the US and Ireland.
Paperback. Condition: Brand New. 356 pages. 9.00x6.00x0.75 inches. In Stock.
Language: English
Published by SP CAMBRIDGE UNIVERSITY PRESS, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: UK BOOKS STORE, London, LONDO, United Kingdom
Condition: New. Brand New ! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Surveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods.
Language: English
Published by Cambridge University Press, Cambridge, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and infinite model-theoretic methods play an important role. Notably, the articles in this collection emphasize points of contact and connections between finite and infinite model theory in computer science that may suggest new directions for interaction. Among the topics discussed are: algorithmic model theory, descriptive complexity theory, finite model theory, finite variable logic, model checking, model theory for restricted classes of finite structures, and spatial databases. The chapters all include extensive bibliographies facilitating deeper exploration of the literature and further research. Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and infinite model-theoretic methods play an important role. The chapters include extensive bibliographies. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 356 pages. 9.00x6.00x0.75 inches. In Stock. This item is printed on demand.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
£ 76.03
Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. xi + 341 Illus.
Language: English
Published by Cambridge University Press, Cambridge, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: CitiRetail, Stevenage, United Kingdom
Paperback. Condition: new. Paperback. play an important role. The chapters include extensive bibliographies. Surveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND pp. xi + 341.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: moluna, Greven, Germany
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and in.
Language: English
Published by Cambridge University Press, Cambridge, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: AussieBookSeller, Truganina, VIC, Australia
Paperback. Condition: new. Paperback. Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and infinite model-theoretic methods play an important role. Notably, the articles in this collection emphasize points of contact and connections between finite and infinite model theory in computer science that may suggest new directions for interaction. Among the topics discussed are: algorithmic model theory, descriptive complexity theory, finite model theory, finite variable logic, model checking, model theory for restricted classes of finite structures, and spatial databases. The chapters all include extensive bibliographies facilitating deeper exploration of the literature and further research. Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and infinite model-theoretic methods play an important role. The chapters include extensive bibliographies. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Language: English
Published by Cambridge University Press, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Finite and Algorithmic Model Theory | Javier Esparza (u. a.) | Taschenbuch | Englisch | 2011 | Cambridge University Press | EAN 9780521718202 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.