Matiyasevich (17 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
US$ 15.27
US$ 5.99 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: Recycle Bookstore, San Jose, CA, U.S.A.Recycle Bookstore
Contact seller4-star sellerCondition: Used - Good
US$ 37.50
US$ 5.75 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
US$ 62.67
US$ 2.64 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
US$ 65.32
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
US$ 68.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.31
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
- First Edition
Seller: bmyguest books, Toronto, ON, Canadabmyguest books
Contact seller4-star sellerCondition: Used - Very good
US$ 61.45
US$ 14.99 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: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.08
US$ 16.05 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.94
US$ 20.75 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
US$ 69.37
US$ 20.09 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
US$ 77.16
US$ 20.09 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
US$ 62.92
US$ 72.05 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.
Published by Moscow, 1977
- Hardcover
Seller: BiblioEra, Everett, MA, U.S.A.BiblioEra
Contact seller2-star sellerCondition: Used - Good
US$ 199.00
US$ 9.99 shippingShips within U.S.A.Quantity: 1 available
Hardcover. 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
US$ 62.92
US$ 26.27 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
US$ 56.90
US$ 55.95 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
US$ 62.92
US$ 68.53 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.
More images- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.12
US$ 79.95 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 Print on Demand.
