Daniel Leivant (33 results)
Logic, Language, Information, and Computation : 22nd International Workshop, Wollic 2015, Bloomington, In, USA, July 20-23, 2015, Proceedings
De Paiva, Valeria (EDT); De Queiroz, Ruy (EDT); Moss, Lawrence S. (EDT); Leivant, Daniel (EDT); De Oliveira, Anjolina (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 49.09
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 55.89
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Softcover
Seller: Basi6 International, Irving, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 55.89
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Logic, Language, Information, and Computation : 22nd International Workshop, Wollic 2015, Bloomington, In, USA, July 20-23, 2015, Proceedings
De Paiva, Valeria (EDT); De Queiroz, Ruy (EDT); Moss, Lawrence S. (EDT); Leivant, Daniel (EDT); De Oliveira, Anjolina (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 54.40
US$ 2.64 shippingShips within 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: Used
US$ 60.67
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: Used. pp. 378.
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: Used
US$ 56.40
US$ 8.69 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Used. pp. 378 Illus.
- Softcover
Seller: GuthrieBooks, Spring Branch, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
US$ 61.93
US$ 6.99 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 55.86
US$ 16.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Biblios, frankfurt am main, GermanyBiblios
Contact seller4-star sellerCondition: Used
US$ 60.31
US$ 11.48 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Used. pp. 378.
Logic, Language, Information, and Computation : 22nd International Workshop, Wollic 2015, Bloomington, In, USA, July 20-23, 2015, Proceedings
De Paiva, Valeria (EDT); De Queiroz, Ruy (EDT); Moss, Lawrence S. (EDT); Leivant, Daniel (EDT); De Oliveira, Anjolina (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 55.85
US$ 20.06 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Logic, Language, Information, and Computation : 22nd International Workshop, Wollic 2015, Bloomington, In, USA, July 20-23, 2015, Proceedings
De Paiva, Valeria (EDT); De Queiroz, Ruy (EDT); Moss, Lawrence S. (EDT); Leivant, Daniel (EDT); De Oliveira, Anjolina (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 61.01
US$ 20.06 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.96
US$ 16.02 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.96
US$ 16.02 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$ 65.83
US$ 20.71 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.92
US$ 20.71 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 74.48
US$ 13.37 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2015 edition. 224 pages. 9.00x6.00x0.75 inches. In Stock.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 93.69
US$ 16.71 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 361 pages. 9.25x6.25x1.00 inches. In Stock.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 56.47
US$ 71.21 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana U…niversity, Bloomington, IN, USA in July 2015.The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 49.18
US$ 80.74 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Logic, Language, Information, and Computation | 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings | Valeria De Paiva (u. a.) | Taschenbuch | xx | Englisch | 2015 | Springer | EAN 9783662477083 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tierg…artenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.54
US$ 72.49 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research… involving formal logic, computing and programming theory, and natural language and reasoning. The WoLLIC meetings alternate between Brazil (and Latin America) and other countries, with the aim of fostering interest in applied logic among Latin Am- ican scientists and students, and facilitating their interaction with the international - plied logic community. WoLLIC 2007 focused on foundationsof computing and programming,novel c- putation models and paradigms, broad notions of proof and belief, formal methods in software and hardware development; logical approaches to natural language and r- soning; logics of programs, actions and resources; foundational aspects of information organization, search, ow, sharing, and protection. The Program Committee for this meeting, consisting of the 28 colleagues listed here, was designed to promote these inter-disciplinary and cross-disciplinary topics. Like its predecessors, WoLLIC 2007 included invited talks and tutorials as well as contributed papers. The Program Committee received 52 complete submissions (aside from 15 preliminary abstracts which did not materialize). A thorough review process by the Program Committee, assisted by over 70 external reviewers, led to the acc- tance of 21 papers for presentation at the meeting and inclusion in these proceedings. The conference program also included 16 talks and tutorials by 10 prominent invited speakers, who graciously accepted the Program Committee's invitation.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.54
US$ 73.77 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains revised versions of papers invited for presentation at the International Workshop on Logic and Computational Complexity, LCC '94, held in Indianapolis, IN in October 1994.The synergy between logic and computational complexity has… gained importance and vigor in recent years, cutting across many areas. The 25 revised full papers in this book contributed by internationally outstanding researchers document the state-of-the-art in this interdisciplinary field of growing interest; they are presented in sections on foundational issues, applicative and proof-theoretic complexity, complexity of proofs, computational complexity of functionals, complexity and model theory, and finite model theory.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.82
US$ 80.74 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Logic, Language, Information and Computation | 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings | Daniel Leivant (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540734437 | Verantwortliche Person für die EU: Spring…er Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.70
US$ 80.74 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Logic and Computational Complexity | International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers | Daniel Leivant | Taschenbuch | viii | Englisch | 1995 | Springer | EAN 9783540601784 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121…Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, ItalyBrook Bookstore On Demand
Contact seller3-star sellerCondition: New
US$ 45.42
US$ 6.34 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 50.84
US$ 26.53 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the cam…pus of Indiana University, Bloomington, IN, USA in July 2015.The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. 224 pp. Englisch.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 63.54
US$ 26.53 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 14th International Workshop on Logic, Language, Information and Computation focused on foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in softwa…re and hardware development; logical approach to natural language and reasoning; logics of programs, actions, and resources; and foundational aspects of information organization, search, flow, sharing, and protection. 376 pp. Englisch.
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1995 1995
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 63.54
US$ 26.53 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains revised versions of papers invited for presentation at the International Workshop on Logic and Computational Complexity, LCC '94, held in Indianapolis, IN in October 1994.The synergy between logic and computationa…l complexity has gained importance and vigor in recent years, cutting across many areas. The 25 revised full papers in this book contributed by internationally outstanding researchers document the state-of-the-art in this interdisciplinary field of growing interest; they are presented in sections on foundational issues, applicative and proof-theoretic complexity, complexity of proofs, computational complexity of functionals, complexity and model theory, and finite model theory. 528 pp. Englisch.
Logic, Language, Information, and Computation
de Paiva, Valeria|De Queiroz, Ruy|Moss, Lawrence S.|Leivant, Daniel|de Oliveira, Anjolina
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 47.06
US$ 56.51 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Interdisciplinary research in pure and applied Logic up-to date results Fast track conference proceedingsEdited in collaboration with FoLLI, the Association of Logic, Language and Information…this book constitutes the refereed.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 57.46
US$ 56.51 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book contains revised versions of papers invited for presentation at the International Workshop on Logic and Computational Complexity, LCC 94, held in Indianapolis, IN in October 1994.The synergy between logic an…d computational complexity has gain.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 57.46
US$ 56.51 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents the proceedings of the 14th International Workshop on Logic, Language, Information and ComputationFeatures twenty-one full papers plus five invited papersSets forth some the latest findings and new applicatio…ns in the field.
