Chapman

Results: 3110



#Item
81

Visualizing Ontologies: A Case Study John Howse1 , Gem Stapleton1 , Kerry Taylor2 , and Peter Chapman1 1 Visual Modelling Group, University of Brighton, UK {John.Howse,g.e.stapleton,p.b.chapman}@brighton.ac.uk

Add to Reading List

Source URL: iswc2011.semanticweb.org

Language: English - Date: 2011-09-14 09:59:17
    82

    A Note on Complex Algebras of Semigroups Peter Jipsen Chapman University, Orange CA 92866, USA WWW home page: http://www.chapman.edu/~jipsen/

    Add to Reading List

    Source URL: www1.chapman.edu

    Language: English - Date: 2003-11-30 13:23:59
      83

        Boys & Girls Club of Greater Lowell Appoints Mill City Environmental President, Brian Chapman New Chairman of the Board Lowell, MA—Sept. 28 – Mill City Environmental announced today that its President and CEO, Br

      Add to Reading List

      Source URL: www.millcityenv.com

      Language: English
        84

        SET axioms SET001-0.ax Membership and subsets (element ∈ subset and subset ⊆ superset) ⇒ element ∈ superset cnf(membership in subsets, axiom) cnf(subsets axiom1 , axiom) subset ⊆ superset or member of 1 not of2

        Add to Reading List

        Source URL: math.chapman.edu

        Language: English - Date: 2017-03-19 21:35:31
          85

          CSR axioms CSR001+0.ax Standard discrete event calculus axioms ∀time1 , fluent, time2 : (stoppedIn(time1 , fluent, time2 ) ⇐⇒ ∃event, time: (happens(event, time) and less(time1 , time) and less( ∀time1 , time2

          Add to Reading List

          Source URL: math.chapman.edu

          Language: English - Date: 2017-03-18 22:04:00
            86

            MATHEMATICS COMPUTER AIDED INVESTIGATIONS OF RELATION ALGEBRAS PETER JIPSEN Dissertation under the direction of Professor Bjarni J´onsson This dissertation is a self-contained study of Boolean algebras with a residuated

            Add to Reading List

            Source URL: www1.chapman.edu

            Language: English - Date: 2003-06-23 03:25:32
              87

              City of Circleville Police Department G. Shawn Baer 151 East Franklin Street Robert W. Chapman Jr.

              Add to Reading List

              Source URL: publicsafety.ohio.gov

              Language: English - Date: 2018-05-29 12:33:47
                88

                Concurrent Kleene algebra with tests Peter Jipsen Chapman University, Orange, California 92866, USA

                Add to Reading List

                Source URL: math.chapman.edu

                Language: English - Date: 2014-03-18 15:12:15
                  89

                  KLE axioms KLE001+0.ax Idempotent semirings ∀a, b: a + b = b + a fof(additive commutativity, axiom) ∀c, b, a: a + (b + c) = (a + b) + c fof(additive associativity, axiom)

                  Add to Reading List

                  Source URL: math.chapman.edu

                  Language: English - Date: 2017-03-18 22:05:17
                    90

                    Chapman University Economics 374 Jared Rubin FallEconomics 374: European Economic History

                    Add to Reading List

                    Source URL: eh.net

                    Language: English - Date: 2017-06-29 14:45:23
                      UPDATE