Bokus

R. Padmanabhan – författare

Visar alla böcker från författaren R. Padmanabhan. Handla med fri frakt och snabb leverans.

2 produkter

  1. William McCune, R. Padmanabhan - Automated Deduction in Equational Logic and Cubic Curves, Häftad. Tillgänglighet: Lägg i varukorg

    Automated Deduction in Equational Logic and Cubic Curves

    Av William McCune, R. Padmanabhan

    Häftad, 1996

    569 kr

    Lägg i varukorg

    This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics and then intensified their …

  2. R Padmanabhan, S Rudeanu - AXIOMS FOR LATTICES AND BOOLEAN ALGEBRAS, Inbunden. Tillgänglighet: Tillfälligt slut

    AXIOMS FOR LATTICES AND BOOLEAN ALGEBRAS

    Av R Padmanabhan, S Rudeanu

    Inbunden, 2008

    1487 kr

    Tillfälligt slut

    The importance of equational axioms emerged initially with the axiomatic approach to Boolean algebras, groups, and rings, and later in lattices. This unique research monograph systematically presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they …