Matiyasevich (16 risultati)

Trade Paperback. Condizione: 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) (illustratore).

Condizione: New.

Paperback or Softback. Condizione: New. Logical Foundations of Computer Science: Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings. Book.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: 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 description box. - Specializing in academic, collectiblle and historically significant, providing the utmost quality and customer service satisfaction. For any questions feel free to email us.…

PF. Condizione: New.

Condizione: New.

Condizione: New. In English.

Condizione: As New. Unread book in perfect condition.

Taschenbuch. Condizione: 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 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.…

Condizione: Fine. 288 pp., hardcover, previous owner's name to the front free endpaper, else fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Photos available upon request.…

Hardcover. Condizione: 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 request photos of available books.SKU7686263.…

Taschenbuch. Condizione: 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 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. 408 pp. Englisch.…

Condizione: 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 .…

Taschenbuch. Condizione: 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.…