Automation in language translation and theorem proving. Some applications of mathematical logic

Published by Brussels, Kommission der Europäischen Gemeinschaften (EUR 4038 e), 1968

  • First Edition
  • Hardcover
  • Used
See all details

Seller: Antiquariat Smock, Freiburg, GermanyAntiquariat Smock

5-star seller

AbeBooks seller since November 15, 2010

Hardcover

Condition: Used

£ 20.92

£ 28.94 shipping 
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

Formateinband: Leinen mit Umschlag / gebundene Ausgabe XV, 295 S. (25 cm) 1st Edition; Schutzumschlag etwas gealtert und berieben und mit hinterklebtem Einriss; Namenseintrag auf Vorsatzblatt; sonst in gutem Zustand. Sprache: Englisch Gewicht in Gramm: 900 [Stichwörter: Mathematische Logik, Investigations and lenghts of proofs, Mechanical procedures for the propositional and predicate calculus and graph theory, Studies in the theory of definitions, Generative, analytic and context-free grammars, On free choice sequences and the free system CSI-valuations].

Seller Inventory # 40550

Bibliographic details

Title
Automation in language translation and theorem proving. Some applications of mathematical logic
Author
Braffort, P. / F. van Scheepen (Ed.) -
Publisher
Brussels, Kommission der Europäischen Gemeinschaften (EUR 4038 e)
Publication year
1968
Condition
Akzeptabel
Dust jacket
Dust Jacket Included
Binding
Hardcover
Edition
1st Edition
Item weight
900 grams
Seller catalogs
Mathematik

Antiquariat Smock

Freiburg, Germany

5-star seller

AbeBooks seller since November 15, 2010

Shipping rates from Germany to U.S.A.

Item10 to 28 business days7 to 21 business days
First item£ 28.94£ 32.92
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Cash
  • Check
  • Invoice
  • Paypal

Store description

Antiquariat Smock im Freiburger Stadtteil Herdern - Ladengeschäft und Versand

Seller's business information

Antiquariat Smock

Germany