Algebraic systems :: SCD d'Orléans

Algebraic systems

Algebraic systems

Na minha lista:

Detalhes bibliográficos
Autor principal:	Mal'cev, Anatolii Ivanovič, 1909-1967
Outros Autores:	Seckler, Bernard D., 1925-2020 (Traducteur), Doohovskoy, Alexander P. (Traducteur)
Formato:	Livre papier
Idioma:	Anglais
Publicado em:	Berlin ; Heidelberg ; New York : Springer C 1973.
Colecção:	Die Grundlehren der mathematischen Wissenschaften Band 192
Assuntos:	Algèbre abstraite Théorie des modèles Logique symbolique et mathématique
Nota:	Traduit du russe : "Algebraičeskie sistemi"
Autres localisations:	Voir dans le Sudoc

Registos relacionados

The metamathematics of algebraic systems : collected papers : 1936-1967
Por: Mal'cev, Anatolii Ivanovič, 1909-1967, mathématicien
Publicado em: (1971)

Introduction to model theory and to the metamathematics of algebra
Por: Robinson, Abraham, 1918-1974, mathématicien
Publicado em: (1965)

Model Theory and Algebraic Geometry : An introduction to E. Hrushovski s proof of the geometric Mordell-Lang conjecture

Discrete mathematics
Por: Biggs, Norman, 1941-
Publicado em: (1989)

Categories of Algebraic Systems : Vector and Projective Spaces, Semigroups, Rings and Lattices
Por: Petrich, Mario, 1932-

Algebraic methods of mathematical logic
Por: Rieger, Ladislav, 1916-1963
Publicado em: (1967)

Algebraic structures
Por: Lang, Serge, 1927-2005
Publicado em: (1967)

Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 7, 1979

Algebraic methodology and software technology : 6th international conference, AMAST ±97, Sydney, Australia, December 13-17, 1997 : proceedings

Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings

From Objects to Diagrams for Ranges of Functors
Por: Gillibert, Pierre, 1983-, et autres

Algebraic methodology and software technology : 7th International Conference, AMAST 98, Amazonia, Brazil, January 4 8, 1999 : proceedings

Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1 5, 1996 : proceedings

Algebraic and logic programming : third international conference, Volterra, Italy, September 2 4, 1992 : proceedings

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings

Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings

Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings

Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings

Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings
Por: Bergman, Clifford H.

Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings

Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

Logique et modélisation : modèles consistants, données compatibles
Por: Gondran, Michel, et autres
Publicado em: (1995)

Mathématiques minute
Por: Glendinning, Paul, 1959-...., mathématicien
Publicado em: (2014)

Théorie des ensembles
Por: Bourbaki, Nicolas

Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers

Mathématiques : nombres, équations, géométrie, logique... en 200 concepts-clés
Por: Glendinning, Paul, 1959-...., mathématicien
Publicado em: (2026)

Discrete mathematics : applied algebra for computer and information science
Por: Bobrow, Leonard S., 1940-, et autres
Publicado em: (1974)

Algèbre : travaux dirigés de mathématiques, premier cycle de l'enseignement supérieur scientifique
Por: Auzimour, Annick, 1942-, et autres
Publicado em: (1998)

A methodology for uncertainty in knowledge-based systems
Por: Weichselberger, Kurt, et autres

Éléments de mathématiques discrètes
Por: Frécon, Louis, 1940-
Publicado em: (2002)

Model theory
Por: Chang, Chen Chung, 1927-2014, et autres
Publicado em: (1973)

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
Por: Keisler, Howard Jerome, 1936-
Publicado em: (1971)

Model Theory and Arithmetic : Comptes Rendus d'une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l'Arithmétique, Paris, France, 1979/80
Por: Berline, Chantal, mathématicienne

Logica Universalis : Towards a General Theory of Logic
Por: Beziau, Jean-Yves

Systems of reductions
Por: Benninghofen, Benjamin, 1958-, et autres

Algebraic Systems
Por: Mal½cev, Anatolij Ivanovič, 1909-1967

Eléments de logique mathématique : théorie des modèles
Por: Kreisel, Georg, 1923-2015, et autres
Publicado em: (1967)

Proofs and fundamentals : a first course in abstract mathematics
Por: Bloch, Ethan D., 1956-

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales