0

SDV. Sprache und Datenverarbeitung

eBook - International Journal for Language Data Processing. Heft 1-2/2014: The language of mathematics computational, linguistic and logical aspects, SDV. Sprache und Datenverarbeitung

50,00 €
(inkl. MwSt.)

Download

E-Book Download
Bibliografische Daten
ISBN/EAN: 9783956050244
Sprache: Englisch
Auflage: 1. Auflage 2016
E-Book
Format: PDF
DRM: Adobe DRM

Beschreibung

In recent years the specialized language of mathematics has become a topic of increased interest among linguists, logicians and computer scientists. This special issue of SDV provides insight into this interdisciplinary field of study through three papers that approach the study of mathematical language from different angles. In addition to these papers related to the main topic this double issue contains a submitted paper about verb classifications.INHALT: Marcos Cramer& Bernhard Schröder: Foreword of the special issue of SDV on The language of mathematics computational, linguistic and logical aspects; Marcos Cramer: The Naproche system: Proof-checking mathematical texts in controlled natural language; Jordi Saludes& Sebastian Xambó: Multilingual Tools for Mathematics; Michael Kohlhase& Mihnea Iancu: Co-Representing Structure and Meaning of Mathematical Documents; Michael Richter& Roeland van Hout: A classification of German verbs using empirical language data and concepts of Vendler and Dowty

Informationen zu E-Books

Alle hier erworbenen E-Books können Sie in Ihrem Kundenkonto in die kostenlose PocketBook Cloud laden. Dadurch haben Sie den Vorteil, dass Sie von Ihrem PocketBook E-Reader, Ihrem Smartphone, Tablet und PC jederzeit auf Ihre gekauften und bereits vorhandenen E-Books Zugriff haben.

Um die PocketBook Cloud zu aktivieren, loggen Sie sich bitte in Ihrem Kundenkonto ein und gehen dort in den Bereich „E-Books“. Setzen Sie hier einen Haken bei „Neue E-Book-Käufe automatisch zu meiner Cloud hinzufügen.“. Dadurch wird ein PocketBook Cloud Konto für Sie angelegt. Die Zugangsdaten sind dabei dieselben wie in diesem Webshop.

Weitere Informationen zur PocketBook Cloud finden Sie unter www.meinpocketbook.de.

Allgemeine E-Book-Informationen

E-Books in diesem Webshop können in den Dateiformaten EPUB und PDF vorliegen und können ggf. mit einem Kopierschutz versehen sein. Sie finden die entsprechenden Informationen in der Detailansicht des jeweiligen Titels.

E-Books ohne Kopierschutz oder mit einem digitalen Wasserzeichen können Sie problemlos auf Ihr Gerät übertragen. Sie müssen lediglich die Kompatibilität mit Ihrem Gerät prüfen.

Um E-Books, die mit Adobe DRM geschützt sind, auf Ihr Lesegerät zu übertragen, benötigen Sie zusätzlich eine Adobe ID und die kostenlose Software Adobe® Digital Editions, wo Sie Ihre Adobe ID hinterlegen müssen. Beim Herunterladen eines mit Adobe DRM geschützten E-Books erhalten Sie zunächst eine .acsm-Datei, die Sie in Adobe® Digital Editions öffnen müssen. Durch diesen Prozess wird das E-Book mit Ihrer Adobe-ID verknüpft und in Adobe® Digital Editions geöffnet.