Matiyasevich (18 results)
Coup De Grace: A Novel by Marguerite Yourcenar
Marguerite Yourcenar (Author); Yuri V. Matiyasevich & Martin Davis (Foreword by)
- Softcover
Seller: gearbooks, The Bronx, NY, U.S.A.gearbooks
Contact seller5-star sellerCondition: Used - Very good
£ 11.91
£ 4.54 shippingShips within U.S.A.Quantity: 1 available
Trade Paperback. Condition: Very Good. 4th Printing, 1981. 151 pp. Nearly flawless book with some underlinings on first third part of book (3 pages only!). Marshall Lee (Deisgn); Constance Fogler (Cover Design) (illustrator).
- Hardcover
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contact seller5-star sellerCondition: Used - Very good
£ 33.13
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
- Hardcover
Seller: Recycle Bookstore, San Jose, CA, U.S.A.Recycle Bookstore
Contact seller4-star sellerCondition: Used - Good
£ 29.25
£ 4.35 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Good. Book is slightly bowed, with mild wear to edges and slight staining to top edge. Otherwise, solid working copy with unmarked interior. Sold as-is. Pictures available upon request.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 48.88
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
£ 50.94
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Logical Foundations of Computer Science: Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings. Book.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 53.03
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
- First Edition
Seller: bmyguest books, Toronto, ON, Canadabmyguest books
Contact seller4-star sellerCondition: Used - Very good
£ 42.30
£ 11.35 shippingShips from Canada to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. First Edition Thus. Funchal, Madeira Island, Portugal, October3-6, 1995 : Proceedings (Lecture Notes) # 990. Clean Over All With No Marks Folds Or Highlights Inside. In Very Good Condition.We will state signed at the description section. we confirm they are signed via email or stated in the descr…iption box. - Specializing in academic, collectiblle and historically significant, providing the utmost quality and customer service satisfaction. For any questions feel free to email us.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 54.05
£ 2.00 shippingShips within 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
£ 50.80
£ 11.98 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
£ 47.80
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.28
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.92
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.81
£ 54.75 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint ef…forts of logicians from both the former Soviet Union and the West.The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi, modal logic, and problem complexity.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.92
£ 60.75 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Logical Foundations of Computer Science | Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings | Anil Nerode (u. a.) | Taschenbuch | xi | Englisch | 1994 | Springer | EAN 9783540581406 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr.…17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Published by Moscow 1977
- Hardcover
Seller: BiblioEra, Everett, MA, U.S.A.BiblioEra
Contact seller2-star sellerHardcover. Condition: Good. In Russian. Matiyasevich, Yuri Vladimirovich. Report on a mission to Finland [to attend the 17th Scandinavian Congress of Mathematicians. 16-22 August. Turku]. Moscow: 1977. All images are for identification of editions only. Several books of the same edition may be available. Please feel free to requ…est photos of available books.SKU7686263.
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1994 1994
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.81
£ 19.96 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 volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a se…ries of joint efforts of logicians from both the former Soviet Union and the West.The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi, modal logic, and problem complexity. 408 pp. Englisch.
- Softcover
- Print on Demand
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
£ 43.24
£ 42.52 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 volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science 94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the… third in a series of joint efforts of .
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.81
£ 52.07 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series… of joint efforts of logicians from both the former Soviet Union and the West.The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi, modal logic, and problem complexity.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 408 pp. Englisch.
