Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
Uwe Waldmann
págs. 777-829
Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
Uwe Waldmann
págs. 831-861
págs. 863-885
Calculating the Galois Group of Y′ = = = AY + + + B,Y′ = = = AY Completely Reducible
Peter Berman
págs. 887-898
© 2001-2024 Fundación Dialnet · Todos los derechos reservados