Results for *

Displaying results 1 to 17 of 17.

  1. Making Presentation Math Computable
    A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems
    Published: 2023
    Publisher:  Springer Fachmedien Wiesbaden, Wiesbaden ; Springer International Publishing AG, Cham

    Access:
    Resolving-System (kostenfrei)
    Technische Hochschule Bingen, Bibliothek
    No inter-library loan
    Bibliothek der Hochschule Darmstadt, Zentralbibliothek
    No inter-library loan
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    No inter-library loan
    Bibliothek der Frankfurt University of Applied Sciences
    No inter-library loan
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    No inter-library loan
    Hochschul- und Landesbibliothek Fulda, Standort Heinrich-von-Bibra-Platz
    No inter-library loan
    Technische Hochschule Mittelhessen, Hochschulbibliothek Gießen
    No inter-library loan
    Universitätsbibliothek Gießen
    No inter-library loan
    Universitätsbibliothek Kassel, Landesbibliothek und Murhardsche Bibliothek der Stadt Kassel
    No inter-library loan
    Akademie der Wissenschaften und der Literatur, Bibliothek
    No inter-library loan
    Universität Mainz, Zentralbibliothek
    No inter-library loan
    Universität Marburg, Universitätsbibliothek
    No inter-library loan
    Hochschul- und Landesbibliothek RheinMain, Rheinstraße
    No inter-library loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Union catalogues
    Language: English
    Media type: Ebook
    Format: Online
    ISBN: 9783658404734; 3658404736
    Other identifier:
    RVK Categories: ST 600
    DDC Categories: 510
    Edition: 1st ed. 2023
    Subjects: LATEX <Programm>; Computeralgebra; Maschinelle Übersetzung; Engineering mathematics; Engineering—Data processing; Computational intelligence; Algebra; Artificial intelligence; Mathematical and Computational Engineering Applications; Computational Intelligence; Algebra; Artificial Intelligence
    Scope: 1 Online-Ressource (XVIII, 197 Seiten), 61 illus., 58 illus. in color. Textbook for German language market.
  2. Making Presentation Math Computable
    A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems
    Published: [2023]
    Publisher:  Springer Vieweg, Wiesbaden

    Hochschul- und Landesbibliothek RheinMain, Rheinstraße
    60 23 A 2393
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: English
    Media type: Book
    Format: Print
    ISBN: 9783658404727; 3658404728
    Other identifier:
    9783658404727
    DDC Categories: 510
    Subjects: LATEX <Programm>; Computeralgebra; Maschinelle Übersetzung
    Scope: XVIII, 197 Seiten, Illustrationen, 21 cm x 14.8 cm, 288 g
  3. Karl Bühler (1879 - 1963) und Wilhelm Stählin (1883 - 1975)
    psychologische Fundamente der Metapherntheorie im ersten Drittel des 20. Jahrhunderts
    Published: 1989
    Publisher:  Nodus-Publ., Münster

    Bayerische Staatsbibliothek
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek der LMU München
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
  4. Lectures on computational fluid dynamics, mathematical physics, and linear algebra
    Published: 1997
    Publisher:  World Scientific, Singapore [u.a.]

    Universitätsbibliothek Bayreuth
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Würzburg
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: English
    Media type: Book
    ISBN: 9810232136
    RVK Categories: SK 955
    Subjects: Mathematische Physik; Algebras, Linear; Fluid dynamics; Mathematical physics; Datenverarbeitung; Computeralgebra; Strömungsmechanik
    Scope: IX, 169 S., Ill., graph. Darst.
  5. Exploring the early digital
    Contributor: Haigh, Thomas (Publisher)
    Published: [2019]
    Publisher:  Springer, Cham

    Technische Hochschule Augsburg
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Bamberg
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Bayreuth
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Erlangen-Nürnberg, Hauptbibliothek
    Unlimited inter-library loan, copies and loan
    Hochschulbibliothek Ingolstadt
    Unlimited inter-library loan, copies and loan
    Hochschule Kempten, Hochschulbibliothek
    Unlimited inter-library loan, copies and loan
    Hochschule Landshut, Hochschule für Angewandte Wissenschaften, Bibliothek
    Unlimited inter-library loan, copies and loan
    Hochschule München, Bibliothek
    Unlimited inter-library loan, copies and loan
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek der LMU München
    Unlimited inter-library loan, copies and loan
    Universität der Bundeswehr München, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Technische Hochschule Nürnberg Georg Simon Ohm, Bibliothek
    No loan of volumes, only paper copies will be sent
    Universitätsbibliothek Passau
    Unlimited inter-library loan, copies and loan
    OTH- Ostbayerische Technische Hochschule Regensburg, Hochschulbibliothek
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Regensburg
    Unlimited inter-library loan, copies and loan
    Technische Hochschulbibliothek Rosenheim
    No loan of volumes, only paper copies will be sent
    Hochschule für angewandte Wissenschaften Würzburg-Schweinfurt, Abteilungsbibliothek Schweinfurt
    Unlimited inter-library loan, copies and loan
    Technische Hochschule Würzburg-Schweinfurt Bibliothek
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Würzburg
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Volltext (URL des Erstveröffentlichers)
    Source: Union catalogues
    Contributor: Haigh, Thomas (Publisher)
    Language: English
    Media type: Ebook
    Format: Online
    ISBN: 9783030021528
    Other identifier:
    RVK Categories: SR 800
    Series: History of computing
    Subjects: History of Computing; History of Technology; Media and Communication; Digital Humanities; History of Science; Computer science; Technology-History; Communication; Humanities-Digital libraries; History; Digitaltechnik; Technischer Fortschritt; Computerindustrie; Computeralgebra
    Scope: 1 Online-Ressource (XII, 203 Seiten, 30 illus)
  6. Making presentation math computable
    a context-sensitive approach for translating LaTeX to computer algebra systems
    Published: [2023]; © 2023
    Publisher:  Springer Vieweg, Wiesbaden

    Ostbayerische Technische Hochschule Amberg-Weiden / Hochschulbibliothek Amberg
    Unlimited inter-library loan, copies and loan
    Hochschulbibliothek Ansbach
    Unlimited inter-library loan, copies and loan
    Staatliche Bibliothek, Schloßbibliothek
    Unlimited inter-library loan, copies and loan
    TH-AB - Technische Hochschule Aschaffenburg, Hochschulbibliothek
    Unlimited inter-library loan, copies and loan
    Technische Hochschule Augsburg
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Augsburg
    Unlimited inter-library loan, copies and loan
    Staatsbibliothek Bamberg
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Bamberg
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Bayreuth
    Unlimited inter-library loan, copies and loan
    Hochschule Coburg, Zentralbibliothek
    Unlimited inter-library loan, copies and loan
    Landesbibliothek Coburg
    Unlimited inter-library loan, copies and loan
    THD - Technische Hochschule Deggendorf, Hochschulbibliothek
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Eichstätt-Ingolstadt
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Erlangen-Nürnberg, Hauptbibliothek
    Unlimited inter-library loan, copies and loan
    Kunsthistorisches Institut in Florenz, Max-Planck-Institut, Bibliothek
    Hochschule Weihenstephan-Triesdorf, Zentralbibliothek
    No loan of volumes, only paper copies will be sent
    Hochschule für Angewandte Wissenschaften Hof - Hochschule Hof, Bibliothek
    Unlimited inter-library loan, copies and loan
    Hochschulbibliothek Ingolstadt
    Unlimited inter-library loan, copies and loan
    Wissenschaftliche Stadtbibliothek Ingolstadt
    Unlimited inter-library loan, copies and loan
    Hochschule Kempten, Hochschulbibliothek
    Unlimited inter-library loan, copies and loan
    Hochschule Landshut, Hochschule für Angewandte Wissenschaften, Bibliothek
    Unlimited inter-library loan, copies and loan
    Bayerische Staatsbibliothek
    Unlimited inter-library loan, copies and loan
    Deutsches Museum, Bibliothek
    No loan of volumes, only paper copies will be sent
    Hochschule München, Bibliothek
    Unlimited inter-library loan, copies and loan
    Landesamt für Digitalisierung, Breitband und Vermessung, Bibliothek
    No inter-library loan
    Technische Universität München, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek der LMU München
    Unlimited inter-library loan, copies and loan
    Zentralinstitut für Kunstgeschichte, Bibliothek
    No loan of volumes, only paper copies will be sent
    Hochschule für angewandte Wissenschaften Neu-Ulm, Hochschulbibliothek
    Unlimited inter-library loan, copies and loan
    Universität der Bundeswehr München, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Staatliche Bibliothek Neuburg/Donau
    Unlimited inter-library loan, copies and loan
    Technische Hochschule Nürnberg Georg Simon Ohm, Bibliothek
    No loan of volumes, only paper copies will be sent
    Deutsches Forum für Kunstgeschichte, Bibliothek
    Universitätsbibliothek Passau
    Unlimited inter-library loan, copies and loan
    Leibniz-Institut für Ost- und Südosteuropaforschung, Bibliothek
    No loan of volumes, only paper copies will be sent
    OTH- Ostbayerische Technische Hochschule Regensburg, Hochschulbibliothek
    Unlimited inter-library loan, copies and loan
    Staatliche Bibliothek Regensburg
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Regensburg
    Unlimited inter-library loan, copies and loan
    Bibliotheca Hertziana - Max-Planck-Institut für Kunstgeschichte
    Technische Hochschulbibliothek Rosenheim
    No loan of volumes, only paper copies will be sent
    Hochschule für angewandte Wissenschaften Würzburg-Schweinfurt, Abteilungsbibliothek Schweinfurt
    Unlimited inter-library loan, copies and loan
    Technische Hochschule Würzburg-Schweinfurt Bibliothek
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Würzburg
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Volltext (kostenfrei)
    Volltext (kostenfrei)
    Source: Union catalogues
    Language: English
    Media type: Dissertation
    Format: Online
    ISBN: 9783658404734
    Other identifier:
    RVK Categories: ST 600
    Series: Research
    Subjects: Mathematical and Computational Engineering Applications; Computational Intelligence; Algebra; Artificial Intelligence; Engineering mathematics; Engineering—Data processing; Computational intelligence; Algebra; Artificial intelligence; Computeralgebra; Maschinelle Übersetzung; LATEX <Programm>
    Scope: 1 Online-Ressource
    Notes:

    Dissertation, Bergische Universität Wuppertal,

  7. Making Presentation Math Computable
    A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems
    Published: 2023
    Publisher:  Springer Fachmedien Wiesbaden GmbH, Wiesbaden ; ProQuest, Ann Arbor, Michigan

    Universität Mainz, Zentralbibliothek
    No inter-library loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: English
    Media type: Ebook
    Format: Online
    ISBN: 9783658404734
    DDC Categories: 510; 620
    Subjects: LATEX <Programm>; Computeralgebra; Maschinelle Übersetzung
    Scope: 1 Online-Ressource (209 pages)
    Notes:

    Description based on publisher supplied metadata and other sources

  8. Exploring the early digital
    Contributor: Haigh, Thomas (Publisher)
    Published: [2019]
    Publisher:  Springer, Cham

    Hochschule für Technik und Wirtschaft Berlin, Hochschulbibliothek
    Unlimited inter-library loan, copies and loan
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Volltext (URL des Erstveröffentlichers)
    Source: Union catalogues
    Contributor: Haigh, Thomas (Publisher)
    Language: English
    Media type: Ebook
    Format: Online
    ISBN: 9783030021528
    Other identifier:
    RVK Categories: SR 800
    Series: History of computing
    Subjects: History of Computing; History of Technology; Media and Communication; Digital Humanities; History of Science; Computer science; Technology-History; Communication; Humanities-Digital libraries; History; Digitaltechnik; Technischer Fortschritt; Computerindustrie; Computeralgebra
    Scope: 1 Online-Ressource (XII, 203 Seiten, 30 illus)
  9. Making presentation math computable
    a context-sensitive approach for translating LaTeX to computer algebra systems
    Published: [2023]
    Publisher:  Springer Vieweg, Wiesbaden

    TU Berlin, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Verbund der Öffentlichen Bibliotheken Berlins - VÖBB
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: English
    Media type: Book
    ISBN: 9783658404727; 3658404728
    Other identifier:
    9783658404727
    RVK Categories: ST 600
    Subjects: Computeralgebra; LATEX <Programm>; Maschinelle Übersetzung
    Other subjects: Open Access; LaTeX; Computer Algebra Systems; Presentational Mathematics; Presentation to Computation Translations; Computable Mathematics; Mathematical Information Retrieval
    Scope: xviii, 197, Diagramme, 21 cm x 14.8 cm
  10. Making presentation math computable
    a context-sensitive approach for translating LaTeX to computer algebra systems
    Published: [2023]; © 2023
    Publisher:  Springer Vieweg, Wiesbaden

    Berliner Hochschule für Technik, Hochschulbibliothek
    Unlimited inter-library loan, copies and loan
    Freie Universität Berlin, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Hochschule für Technik und Wirtschaft Berlin, Hochschulbibliothek
    Unlimited inter-library loan, copies and loan
    Hochschule für Wirtschaft und Recht, Hochschulbibliothek, Campus Schöneberg
    Unlimited inter-library loan, copies and loan
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Unlimited inter-library loan, copies and loan
    TU Berlin, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Technische Hochschule Brandenburg, Hochschulbibliothek
    Unlimited inter-library loan, copies and loan
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Europa-Universität Viadrina, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Hochschule der Polizei des Landes Brandenburg, Hochschulbibliothek
    Unlimited inter-library loan, copies and loan
    Fachhochschule Potsdam, Hochschulbibliothek
    Unlimited inter-library loan, copies and loan
    Universität Potsdam, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Technische Hochschule Wildau, Hochschulbibliothek
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Volltext (kostenfrei)
    Volltext (kostenfrei)
    Source: Philologische Bibliothek, FU Berlin; Staatsbibliothek zu Berlin
    Language: English
    Media type: Dissertation
    Format: Online
    ISBN: 9783658404734
    Other identifier:
    RVK Categories: ST 600
    Series: Research
    Subjects: Mathematical and Computational Engineering Applications; Computational Intelligence; Algebra; Artificial Intelligence; Engineering mathematics; Engineering—Data processing; Computational intelligence; Algebra; Artificial intelligence; Computeralgebra; Maschinelle Übersetzung; LATEX <Programm>
    Scope: 1 Online-Ressource
    Notes:

    Dissertation, Bergische Universität Wuppertal,

  11. Exploring the early digital
    Contributor: Haigh, Thomas (Herausgeber)
    Published: [2019]
    Publisher:  Springer, Cham

    Changes in the present challenge us to reinterpret the past, but historians have not yet come to grips with the convergence of computing, media, and communications technology. Today these things are inextricably intertwined, in technologies such as... more

    Universitätsbibliothek Bielefeld
    HI069 E9E1D
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Paderborn
    KLE2781
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Trier
    AG/nh891
    Unlimited inter-library loan, copies and loan

     

    Changes in the present challenge us to reinterpret the past, but historians have not yet come to grips with the convergence of computing, media, and communications technology. Today these things are inextricably intertwined, in technologies such as the smartphone and internet, in convergent industries, and in social practices. Yet they remain three distinct historical subfields, tilled by different groups of scholars using different tools. We often call this conglomeration "the digital," recognizing its deep connection to the technology of digital computing. Unfortunately, interdisciplinary studies of digital practices, digital methods, or digital humanities have rarely been informed by deep engagement with the history of computing.Contributors to this volume have come together to reexamine an apparently familiar era in the history of computing through new lenses, exploring early digital computing and engineering practice as digital phenomena rather than as engines of mathematics and logic. Most focus on the period 1945 to 1960, the era in which the first electronic digital computers were created and the computer industry began to develop. Because digitality is first and foremost a way of reading objects and encoding information within them, we are foregrounding topics that have until now been viewed as peripheral in the history of computing: betting odds calculators, card file systems, program and data storage, programmable calculators, and digital circuit design practices. Reconceptualizing the "history of computing" as study of the "early digital" decenters the stored program computer, repositioning it as one of many digital technologies.

     

    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Contributor: Haigh, Thomas (Herausgeber)
    Language: English
    Media type: Book
    ISBN: 9783030021511
    Other identifier:
    9783030021511
    10.1007/978-3-030-02152-8
    Series: History of computing
    Subjects: Digitaltechnik; Computeralgebra; Technischer Fortschritt; Computerindustrie
    Other subjects: EDV & Informatik: Geschichte; B; History of Computing; Computer Science; History of Technology; Technikgeschichte; Media and Communication; Medienwissenschaften; Digital Humanities; Kommunikationswissenschaften; History of Science; Computeranwendungen in Geistes- und Sozialwissenschaften; Wissenschafts- und Universitätsgeschichte; Hardcover, Softcover / Informatik, EDV/Allgemeines, Lexika; Computer science; Technology-History; Communication; Humanities-Digital libraries; History; Computer science; History of computing;Media studies;Digital computer;Communications infrastructure;Information retrieval
    Scope: XII, 203 Seiten, Illustrationen
    Notes:

    Changes in the present challenge us to reinterpret the past, but historians have not yet come to grips with the convergence of computing, media, and communications technology. Today these things are inextricably intertwined, in technologies such as the smartphone and internet, in convergent industries, and in social practices. Yet they remain three distinct historical subfields, tilled by different groups of scholars using different tools. We often call this conglomeration "the digital," recognizing its deep connection to the technology of digital computing. Unfortunately, interdisciplinary studies of digital practices, digital methods, or digital humanities have rarely been informed by deep engagement with the history of computing.Contributors to this volume have come together to reexamine an apparently familiar era in the history of computing through new lenses, exploring early digital computing and engineering practice as digital phenomena rather than as engines of mathematics and logic. Most focus on the period 1945 to 1960, the era in which the first electronic digital computers were created and the computer industry began to develop. Because digitality is first and foremost a way of reading objects and encoding information within them, we are foregrounding topics that have until now been viewed as peripheral in the history of computing: betting odds calculators, card file systems, program and data storage, programmable calculators, and digital circuit design practices. Reconceptualizing the "history of computing" as study of the "early digital" decenters the stored program computer, repositioning it as one of many digital technologies.

    1. Introduction.- 2. Inventing an Analog Past and a Digital Future in Computing.- 3. Forgotten Machines: The Need for a New Master Narrative.- 4. Calvin Mooers, Zatocoding, and Early Research on Information Re-trieval.- 5. Switching the engineer's mind set to Boolean. Applying Shannon's algebra to control circuits and digital computing (1938-1958).- 6. The ENIAC Display: Insignia of a Digital Praxeology.- 7. The Evolution of Digital Computing Practice on the Cambridge University EDSAC, 1949-1951.- 8. The Media of Programming.- 9. Foregrounding the Background: Business, Economics, Labor, and Government Policy as Shaping Forces in Early Digital Computing His-tory.- 10. "The Man with a Micro-calculator:" Digital Modernity and Late Soviet Computing Practices.;

  12. Exploring the Early Digital
    Contributor: Haigh, Thomas (Herausgeber)
    Published: 2019
    Publisher:  Springer International Publishing, Cham ; Springer International Publishing AG

    Bibliothek der Hochschule Darmstadt, Zentralbibliothek
    No inter-library loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Contributor: Haigh, Thomas (Herausgeber)
    Language: English
    Media type: Ebook
    Format: Online
    ISBN: 9783030021528; 3030021521
    Other identifier:
    RVK Categories: SR 800 ; AP 15934
    Edition: 1st ed. 2019
    Series: History of Computing
    Subjects: Digitaltechnik; Computeralgebra; Computerindustrie; Technischer Fortschritt; Computers; Technology; History; Communication; Digital humanities; Science; History of Computing; History of Technology; Media and Communication; Digital Humanities; History of Science
    Scope: 1 Online-Ressource (XII, 203 Seiten), 30 illus.
  13. Karl Bühler (1879 - 1963) und Wilhelm Stählin (1883 - 1975)
    psychologische Fundamente der Metapherntheorie im ersten Drittel des 20. Jahrhunderts
    Published: 1989
    Publisher:  Nodus-Publ., Münster

    Freie Universität Berlin, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Unlimited inter-library loan, copies and loan
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Unlimited inter-library loan, copies and loan
    Universität Potsdam, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Philologische Bibliothek, FU Berlin; Staatsbibliothek zu Berlin
    Language: German
    Media type: Book
    ISBN: 3893235051
    RVK Categories: CP 6500
    Series: Arbeitsberichte / Westfälische Wilhelms-Universität Münster, Institut für Allgemeine Sprachwissenschaft ; 5
    Subjects: Psychologie; Psycholinguistik; Theorie; Numerische Mathematik; Metapher; Sprachtheorie; Computeralgebra
    Other subjects: Bühler, Karl (1879-1963); Stählin, Wilhelm (1883-1975)
    Scope: 45 S.
  14. The Church-Rosser property in computer algebra and special theorem proving
    an investigation of critical pair, completion algorithms
    Published: 1984
    Publisher:  VWGÖ, Wien

    Freie Universität Berlin, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Unlimited inter-library loan, copies and loan
    TU Berlin, Universitätsbibliothek
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Philologische Bibliothek, FU Berlin; Staatsbibliothek zu Berlin
    Language: German
    Media type: Dissertation
    ISBN: 3853695841
    RVK Categories: ST 130 ; ST 600
    Series: Universität <Linz>: Dissertationen der Johannes-Kepler-Universität Linz ; 49.
    Subjects: Datenverarbeitung; Algebra, Universal; Automatic theorem proving; Computer algorithms; Computeralgebra; Church-Rosser-Eigenschaft; Reduktion; Automatisches Beweisverfahren
    Scope: 193 S., graph. Darst.
    Notes:

    Zugl.: Linz, Univ., Diss., 1984

  15. Making Presentation Math Computable
    A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems
    Published: 2023
    Publisher:  Springer Fachmedien Wiesbaden, Wiesbaden

    Export to reference management software   RIS file
      BibTeX file
  16. Making presentation math computable
    a context-sensitive approach for translating LaTeX to computer algebra systems
    Published: [2023]
    Publisher:  Springer Vieweg, Wiesbaden

    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: English
    Media type: Dissertation
    Format: Print
    ISBN: 9783658404727; 3658404728
    Other identifier:
    9783658404727
    Subjects: LATEX <Programm>; Computeralgebra; Maschinelle Übersetzung
    Other subjects: (Produktform)Paperback / softback; (BISAC Subject Heading)TEC009000; (BISAC Subject Heading)TBJ; (BISAC Subject Heading)TEC009000; (BISAC Subject Heading)MAT002000; (BISAC Subject Heading)COM004000; (BIC subject category)UYQ; (BIC subject category)PBF; (BIC subject category)UYQ; Open Access; LaTeX; Computer Algebra Systems; Presentational Mathematics; Presentation to Computation Translations; Computable Mathematics; Mathematical Information Retrieval; (Springer Nature Marketing Classification)C; (Springer Nature Subject Code)SCT11006: Mathematical and Computational Engineering; (Springer Nature Subject Code)SCT11014: Computational Intelligence; (Springer Nature Subject Code)SCM11000: Algebra; (Springer Nature Subject Code)SCI21000: Artificial Intelligence; (Springer Nature Taxonomy)4539: Mathematical and Computational Engineering Applications; (Springer Nature Taxonomy)5427: Computational Intelligence; (Springer Nature Taxonomy)3991: Algebra; (Springer Nature Taxonomy)2970: Artificial Intelligence; (Springer Nature Subject Collection)SUCO11647: Engineering; (BISAC Subject Heading)TEC009000; (BIC subject category)TBJ; (VLB-WN)1681: Hardcover, Softcover / Technik/Allgemeines, Lexika
    Scope: xviii, 197 Seiten, Illustrationen, 21 cm
    Notes:

    Dissertation, Universität Wuppertal, 2021

  17. Making presentation math computable
    a context-sensitive approach for translating LaTeX to computer algebra systems
    Published: [2023]; © 2023
    Publisher:  Springer Vieweg, Wiesbaden

    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    2023 A 26826
    Unlimited inter-library loan, copies and loan
    Badische Landesbibliothek
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Inhaltstext (lizenzpflichtig)
    Unbekannt (lizenzpflichtig)
    Inhaltsverzeichnis (lizenzpflichtig)
    Source: Union catalogues
    Language: English
    Media type: Book
    Format: Print
    ISBN: 9783658404727; 3658404728
    Other identifier:
    9783658404727
    Series: Research
    Subjects: LATEX <Programm>; Computeralgebra; Maschinelle Übersetzung;
    Scope: xviii,197 Seiten, Illustrationen, 21 cm x 14.8 cm