Cargando…

Word problems II : the Oxford book /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Otros Autores:	Ad�i�an, S. I., Boone, W. W. (William W.), Higman, G. (Graham)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Amsterdam ; New York : New York : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.
Colección:	Studies in logic and the foundations of mathematics ; v. 95.
Temas:	Group theory > Congresses. G�odel's theorem > Congresses. Th�eorie des groupes > Congr�es. Th�eor�eme de G�odel > Congr�es. MATHEMATICS > Group Theory. G�odel's theorem Group theory Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congr�es.
Acceso en línea:	Texto completo Texto completo Texto completo

Ejemplares similares

Undecidable theories /
Publicado: (1953)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G�odel /
Publicado: (1952)

Fixed points : algorithms and applications /
Publicado: (1977)

Word problems : decision problems and the Burnside problem in group theory /
Publicado: (1973)

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 /
Publicado: (1993)

Dynamical systems and microphysics : geometry and mechanics : the proceedings of the 2nd International Seminar on Mathematical Theory of Dynamical Systems and Microphysics held at the International Center for Mechanical Sciences at Udine, Italy, from September 1 to 11, 1981 /
Publicado: (1982)

Waves on beaches and resulting sediment transport proceedings of an advanced seminar conducted by the Mathematics Research Center, the University of Wisconsin, and the Coastal Engineering Research Center, U.S. Army, at Madison October 11-13, 1971.
Publicado: (1972)

Spatial dimensions of public policy /
Publicado: (1976)

Eolian sediments and processes /
Publicado: (1983)

Stratigraphic micropaleontology of Atlantic basin and borderlands /
Publicado: (1977)

Innovation for energy efficiency : proceedings of the European conference, Newcastle upon Tyne, UK, 15-17 September 1987 /
Publicado: (1988)

Gene manipulations in fungi /
Publicado: (1985)

Reservoir characterization /
Publicado: (1986)

Interaction of translational and transcriptional controls in the regulation of gene expression : proceedings of the Fogarty International Conference on Translational/Transcriptional Regulation of Gene Expression, held at the National Institute of Health, Bethesda, Maryland, U.S.A., on April 7-9, 1982 /
Publicado: (1982)

Molecular cloning of recombinant DNA : proceedings of the Miami winter symposia, January 1977 /
Publicado: (1977)

Conservation of plant genes : DNA banking and in vitro biotechnology /
Publicado: (1992)

Plasmids and transposons : environmental effects and maintenance mechanisms /
Publicado: (1980)

Nutrition in the lower Metazoa : proceedings of a meeting held at the University of Caen, France, 11-13 September 1979 /
Publicado: (1980)

Geodynamics of rifting /
Publicado: (1992)

Ground motion and engineering seismology /
Publicado: (1987)

Solid ionic and ionic-electronic conductors : selected papers from the conference held in Rome, September 1976 /
Publicado: (1977)

Advanced reactors : physics, design, and economics : proceedings of the international conference held at Atlanta, Georgia, September 8-11, 1974 /
Publicado: (1975)

Genetics and morphogenesis in the Basidiomycetes /
Publicado: (1978)

Catalysis in organic syntheses 1976 : [papers] /
Publicado: (1976)

Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 /
Publicado: (1984)

Information control problems in manufacturing technology 1992 : selected papers from the 7th IFAC/IFIP/IFORS/IMACS/ISPE symposium, Toronto, Ontario, Canada, 25-28 May 1992 /
Publicado: (1993)

Mechanism of graben formation : selected papers of an ICG symposium held during the 17th IUGG general assembly, Canberra, Australia, December 5, 1979 /
Publicado: (1981)

Biochemical and pharmacological roles of adenosylmethionine in the central nervous system : proceedings of an International Round Table on Adenosylmethionine and the Central Nervous System, Naples, Italy, May 1978 /
Publicado: (1979)

Genetics in aquaculture IV : proceedings of the Fourth International Symposium on Genetics in Aquaculture, held in Wuhan, China, 29 April to 3 May 1991 /
Publicado: (1993)

Geomorphology and natural hazards : proceedings of the 25th Binghamton Symposium in Geomorphology, held September 24-25, 1994 at SUNY, Binghamton, USA /
Publicado: (1994)

Biochemistry and genetics of yeasts : pure and applied aspects : proceedings of the symposium held at the Universidade de S�ao Paulo, Brazil, December 4-10, 1977 /
Publicado: (1978)

Passive and low energy alternatives I : the First International PLEA Conference, Bermuda, September 13-15, 1982 /
Publicado: (1982)

Population genetics and ecology : proceedings of the conference held in Israel, March 1975 /
Publicado: (1976)

System structure and control : preprints of the IFAC workshop, Prague, Czechoslovakia, 3-5 September 1992 /
Publicado: (1992)

Molecular approaches to gene expression and protein structure /
Publicado: (1981)

Plasma transport, heating, and MHD theory : proceedings of the workshop, Varenna, Italy, 12-16 September 1977 /
Publicado: (1978)

Almost everywhere convergence II : proceedings of the International Conference on Almost Everywhere Convergence in Probability and Ergodic Theory, Evanston, Illinois, October 16-20, 1989 /
Publicado: (1991)

Genetics and biotechnology of bacilli /
Publicado: (1984)

Combinatorial and geometric structures and their applications /
Publicado: (1982)

Performance of distributed systems and integrated communication networks : proceedings of the IFIP WG 7.3 International Conference on the Performance of Distributed Systems and Integrated Communication Networks, Kyoto, Japan, 10-12 September, 1991 /
Publicado: (1992)

Cannot write session to /tmp/vufind_sessions/sess_rq9a6pgnvkdooco5i7t2ck9dha