Bokus

Alan J.A. Robinson – författare

Visar alla böcker från författaren Alan J.A. Robinson. Handla med fri frakt och snabb leverans.

3 produkter

  1. Andrei Voronkov, Alan J.A. Robinson - Handbook of Automated Reasoning, E-bok. Tillgänglighet: Lägg i varukorg

    Handbook of Automated Reasoning

    Av Andrei Voronkov, Alan J.A. Robinson

    E-bok, 2001

    5037 kr

    Lägg i varukorg

    Handbook of Automated Reasoning presents overviews of the fundamental notations, techniques, ideas and methods developed and used in automated reasoning and its practical applications, which are used in many areas of computer science, including software and hardware, logic and functional …

  2. A. Robinson, A. Voronkov, Alan J.A. Robinson, Andrei Voronkov - Handbook of Automated Reasoning, Inbunden. Tillgänglighet: Lägg i varukorg

    Handbook of Automated Reasoning

    Av A. Robinson, A. Voronkov m. fl.

    Inbunden, 2001

    2584 kr

    Lägg i varukorg

    Handbook of Automated Reasoning - Vol 2

  3. N. Chandar, Gary Previts, Alan J.A. Robinson - Research in Accounting Regulation, Inbunden. Tillgänglighet: Lägg i varukorg

    Research in Accounting Regulation

    Av N. Chandar, Gary Previts m. fl.

    Inbunden, 1999

    1127 kr

    Lägg i varukorg

    The scope of service provided by professional accountants is influenced by legislation and case law as well as the dictates of a variety of government and private sector agencies; including State Boards of Accountancy, Academic Accreditation Bodies, the United States Securities and Exchange …