WorldCat Identities

Adi︠a︡n, S. I.

Overview
Works: 53 works in 201 publications in 5 languages and 2,110 library holdings
Genres: Conference papers and proceedings  Dictionaries  Encyclopedias 
Roles: Author, Editor, Adapter, Honoree, Contributor, Other
Publication Timeline
.
Most widely held works by S. I Adi︠a︡n
The Burnside problem and identities in groups by S. I Adi︠a︡n( Book )

19 editions published between 1978 and 1979 in English and German and held by 435 WorldCat member libraries worldwide

Word problems II : the Oxford book( Book )

23 editions published between 1979 and 1980 in 4 languages and held by 330 WorldCat member libraries worldwide

Logical foundations of computer science : 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings by S. I Adi︠a︡n( Book )

21 editions published in 1997 in English and German and held by 273 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yaroslavl, Russia, in July 1997. The volume presents 42 revised refereed papers carefully selected by the program committee. All current issues of computer science logic are addressed. There is a certain emphasis on reporting the progress achieved by scientists from various parts of the former Soviet Union; but there are also many other strong papers from the international research community
Defining relations and algorithmic problems for groups and semigroups by S. I Adi︠a︡n( Book )

15 editions published in 1967 in English and held by 224 WorldCat member libraries worldwide

Mathematical logic, the theory of algorithms, and the theory of sets by S. I Adi︠a︡n( Book )

12 editions published in 1977 in English and held by 212 WorldCat member libraries worldwide

Mathematical logic and algebra : collected papers dedicated to the 100th birthday of academician Petr Sergeevich Novikov( Book )

7 editions published in 2003 in English and held by 65 WorldCat member libraries worldwide

Matematicheskiĭ ėnt︠s︡iklopedicheskiĭ slovarʹ by J.V Prohorov( Book )

2 editions published in 1988 in Russian and held by 34 WorldCat member libraries worldwide

Eleven papers on number theory, algebra and functions of a complex variable by S. I Adi︠a︡n( Book )

11 editions published between 1965 and 2008 in English and Undetermined and held by 29 WorldCat member libraries worldwide

Problema Bernsaĭda i tozhdestva v gruppakh by S. I Adi︠a︡n( Book )

3 editions published in 1975 in Russian and held by 26 WorldCat member libraries worldwide

Opredeljajuščie sootnošenija i algoritmičeskie problemy dlja grupp i polugrupp by S. I Adi︠a︡n( Book )

5 editions published in 1966 in Russian and Undetermined and held by 17 WorldCat member libraries worldwide

Problema Bernsajda i toždestva v gruppach by S. I Adi︠a︡n( Book )

5 editions published in 1975 in Russian and held by 14 WorldCat member libraries worldwide

Word problems II : the Oxford book ; Working Conference Decision Problems in Algebra, held in Oxford the summer of 1979( Book )

1 edition published in 1980 in English and held by 12 WorldCat member libraries worldwide

Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings by Anil Nerode( Book )

7 editions published between 1997 and 1999 in English and held by 10 WorldCat member libraries worldwide

"This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a series of international symposia on logical foundations of computer science held in Russia. The meeting is a joint effort of scholars from both the former Soviet Union and the West, and indicates a new era of international cooperation. Sponsors of the meeting include: the Association for Computing Machinery, the Association for Symbolic Logic, andthe Committee on Mathematical Foundations of Computer Science of IEEE. The book is a unique source of information on the state of computer science research in the former Soviet Union and presents important discoveries in the area of logical foundations of computer science."--PUBLISHER'S WEBSITE
Word problems; decision problems and the Burnside problem in group theory( Book )

2 editions published in 1973 in English and held by 10 WorldCat member libraries worldwide

Algorithmic aspects of algebra and logic : collected papers dedicated to academician Sergei Ivanovich Adian on the occasion of his 80th birthday( Book )

2 editions published in 2011 in English and held by 9 WorldCat member libraries worldwide

Some remarks on quaternion groups by S. I Adi︠a︡n( Book )

2 editions published in 1999 in English and held by 9 WorldCat member libraries worldwide

Matematičeskaja logika i algebra sbornik statej ; k 100-letiju so dnja roždenija akademika Petra Sergeeviča Novikova( Book )

2 editions published in 2003 in Russian and held by 8 WorldCat member libraries worldwide

Matematičeskaja logika, teorija algoritmov i teorija množestv( Book )

2 editions published in 1973 in Russian and held by 8 WorldCat member libraries worldwide

Defining relations and the algebraic structure of the group SL2 over integral Hamilton quaternions by S. I Adi︠a︡n( Book )

4 editions published in 1996 in English and held by 8 WorldCat member libraries worldwide

Penuntun reparasi pulpen by S. I Adi︠a︡n( Book )

4 editions published between 1961 and 1974 in Indonesian and Undetermined and held by 7 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.68 (from 0.59 for Logical fo ... to 0.95 for Problema B ...)

Logical foundations of computer science : 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : proceedingsLogical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings
Alternative Names
Adân, S. I.

Adân, Sergej Ivanovič 1931-

Adian, S. 1931-

Adian, S. I.

Adi︠a︡n, S. I. 1931-

Adi︠a︡n, Sergei

Adi︠a︡n, Sergei 1931-

Adian Sergei I.

Adian, Sergei I. 1931-

Adian, Sergei Ivanovich 1931-

Adian Sergueï I. 1931-....

Adjan, S. I.

Adjan, S. I. 1931-

Adjan, S. I. (Sergej Ivanovič), 1931-

Adjan Sergei I.

Adjan, Sergei Iwanowitsch 1931-

Adjan, Sergej I. 1931-

Adjan, Sergej Ivanovič

Adjan, Sergej Ivanovič 1931-

Adjan, Sergej Ivanovič. [t]

Adyan, Sergei Ivanovich 1931-

Sergei Adian matemático ruso

Sergei Adian Mathematician

Sergei Adian mathématicien russe

Sergei Adian Russian mathematician

Sergei Adian wiskundige uit Armenië

Sergei Iwanowitsch Adjan russischer Mathematiker

Siergiej Adian

Адян, Сергей Иванович

Адян, Сергей Иванович 1931-

Адян Сергій Іванович

Сергей Иванович Адян

Сергеј Иванович Адијан

Сяргей Іванавіч Адзян

سرگئی آدیان ریاضی‌دان اهل ارمنستان

Languages
Covers
Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings