Produktbild
Erwin (Hrsg.) Engeler

Algorithmic Properties Of Structures: Selected Papers Of E Engeler

Buch

The work of Erwin Engeler in the logic and algebra of computer science has been influential but has become difficult to access because it has appeared in different types of publications. This collection of selected papers is therefore timely and useful. It represents an original and coherent approach to the basic interrelationships between mathematics and computer science.The volume begins with the area of enrichment of classical model theory by languages which express properties representing the outcome of hypothetical computer programs executed in a given class of mathematical structures, and is related to questions of correctness and prova… Mehr

CHF 119.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


  • ISBN: 978-981-02-0872-1
  • EAN: 9789810208721
  • Produktnummer: 29393597
  • Verlag: World Scientific Pub Co Inc
  • Sprache: Englisch
  • Erscheinungsjahr: 1994
  • Seitenangabe: 268 S.
  • Masse: H25.1 cm x B17.3 cm x D2.1 cm 599 g
  • Gewicht: 599

Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.