Versions

Results: 4875



#Item
781

PUBLICATIONS NB. This list excludes: published conference reports, web publications, all minor publications including book reviews, all foreign translations of articles, and most reprints, excerpts and rewritten versions

Add to Reading List

Source URL: personal.lse.ac.uk

- Date: 2009-12-17 07:00:52
    782

    The Japanese version is the authoritative version, and this English translation is intended for reference purposes only. Should any discrepancies or doubt arise between two versions, the Japanese version will prevail. En

    Add to Reading List

    Source URL: www.u-tokyo.ac.jp

    - Date: 2015-03-30 22:13:19
      783

      Linking ACL2 and HOL: past achievements and future prospects ABSTRACT. Over the years there have been several attempts to obtain the amazing automation and efficiency of ACL2 theorem proving within various versions of th

      Add to Reading List

      Source URL: www.cl.cam.ac.uk

      - Date: 2014-11-27 06:15:44
        784

        Contents of LATEX’s Tools Bundle afterpage: Place text after the current page. array: Extended versions of the environments array, tabular and tabular*.

        Add to Reading List

        Source URL: sunsite.informatik.rwth-aachen.de

        - Date: 2015-04-12 16:30:14
          785

          * The Japanese version is the authoritative version, and this English translation is intended for reference purposes only. Should any discrepancies or doubts arise between the two versions, the Japanese version will pre

          Add to Reading List

          Source URL: www.u-tokyo.ac.jp

          - Date: 2015-02-25 07:43:51
            786

            To read this and earlier versions of this newsletter on line go to whonnock.ca --> Whonnock --> Whonnock Community Association. Published by the Whonnock Community Association Whonnock News

            Add to Reading List

            Source URL: www.whonnock.ca

            - Date: 2013-10-22 00:04:34
              787

              Building Stemmas with the Computer in a Cladistic, Neo-Lachmannian, Way The Case of Fourteen Text Versions of Lanseloet van Denemerken Een wetenschappelijke proeve op het gebied van de Letteren

              Add to Reading List

              Source URL: neder-l.nl

              - Date: 2013-03-23 15:15:17
                788

                Microsoft Word - Electronic versions of this report are provided for information only and for the convenience of the reader.doc

                Add to Reading List

                Source URL: www.howardcc.edu

                  789

                  Versions of this article have appeared in Annabelle Despard (Ed.), A WomenÕs Place. Women, Domesticity and Private Life, Agder College, Research Series No. 12., 1998; and in NORA Nordic Journal of WomenÕs Studies, No.2

                  Add to Reading List

                  Source URL: www.nikk.no

                  - Date: 2013-06-10 10:17:57
                    790

                    Contents of LATEX’s Tools Bundle afterpage: Place text after the current page. array: Extended versions of the environments array, tabular and tabular*.

                    Add to Reading List

                    Source URL: mirror.math.ku.edu

                    - Date: 2015-04-12 16:30:14
                      UPDATE