Palo

Results: 3000



#Item
21Mathematical logic / Logic / Type theory / Theoretical computer science / Logic in computer science / Automated theorem proving / Reasoning / Program analysis / Natural deduction / Logical framework / Resolution / First-order logic

KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2012-08-08 19:03:01
22Computer programming / Software engineering / Cognitive science / Theoretical computer science / Generative linguistics / Grammar frameworks / Noam Chomsky / Compiler construction / Recursion / Optimizing compiler / TACTIC / Transformational grammar

Reusing Software Developments Allen Goldberg  Kestrel Institute 3260 Hillview Ave. Palo Alto, CA 94304

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2012-08-08 19:03:01
23

Ocean Protection Council Science Advisory Team (OPC-SAT) Meeting November 19, 2012 At the Gordon and Betty Moore Foundation 1661 Page Mill Road, Palo Alto, CA 10:00 AM to 5:00 PM

Add to Reading List

Source URL: oceanspaces.org

Language: English - Date: 2018-03-21 15:39:53
    24

    Palo Alto Vol. XXXVIII, Number 21 Q

    Add to Reading List

    Source URL: www.reelers.org

    Language: English - Date: 2017-02-26 15:00:04
      25

      STATE OF CALIFORNIA CALIFORNIA LAW REVISION COMMISSION 4000 MIDDLEFIELD ROAD, ROOM D-2 PALO ALTO, CA

      Add to Reading List

      Source URL: www.clrc.ca.gov

      Language: English - Date: 2018-06-12 14:58:11
        26

        SA 19.1: A 10Gb/s Si-Bipolar TX/RX Chipset for Computer Data Transmission Richard C. Walker, Kuo-Chiang Hsieh, Thomas A. Knotts, Chu-Sun Yen Hewlett-Packard Laboratories, Palo Alto, CA With Internet host counts doubling

        Add to Reading List

        Source URL: www.omnisterra.com

        Language: English - Date: 2002-08-20 21:31:14
          27

          VMware, IncHillview Avenue Palo Alto, CA9273 mainfax

          Add to Reading List

          Source URL: www.vmware.com

          Language: English
            28

            The Newsletter of the palo alto

            Add to Reading List

            Source URL: www.pahistory.org

            Language: English - Date: 2018-04-29 12:35:38
              29

              Atlas Meeting V, Palo Alto, July 16-20, 2007 David Vogan: Associated varieties (1) Wednesday 13:30 Let X be an irreducible HC module. How can you compute AV(X), which is a union of components of O ∩ (g/k)∗ ? Recall O

              Add to Reading List

              Source URL: www.liegroups.org

              Language: English - Date: 2007-12-05 08:27:28
                30

                Implementing Remote Procedure Calls ANDREW D. BIRRELL and BRUCE JAY NELSON Xerox Palo Alto Research Center Remote procedure calls (RPC) appear to be a useful paradig m for providing communication across a network between

                Add to Reading List

                Source URL: web.eecs.umich.edu

                Language: English - Date: 2015-12-20 16:58:39
                  UPDATE