WorldCat Identities

Davydov, G. V.

Overview
Works: 11 works in 19 publications in 2 languages and 138 library holdings
Roles: Contributor, htt, Other, Author
Classifications: QA9, 511.3
Publication Timeline
.
Most widely held works by G. V Davydov
Physica status solidiVolume 132, Number 1, November 1( )

6 editions published between 1966 and 2022 in English and held by 75 WorldCat member libraries worldwide

Physica status solidi( )

1 edition published in 2022 in English and held by 22 WorldCat member libraries worldwide

Physica status solidi, Volume 18, Number 2, December 1( )

1 edition published in 2022 in English and held by 10 WorldCat member libraries worldwide

Physica status solidi, Volume 18, Number 1, November 1( )

1 edition published in 2022 in English and held by 10 WorldCat member libraries worldwide

Symbolic logic and mechanical theorem proving by Chin-Liang Chang( Book )

3 editions published in 1983 in Russian and Undetermined and held by 8 WorldCat member libraries worldwide

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis
Physica status solidi. Volume 18, Number 2, December 1( )

1 edition published in 1966 in English and held by 4 WorldCat member libraries worldwide

The Work of the Scientific-Technical Society of Non-Ferrous Metallurgy in 1959 and the Task for 1960 - USSR -( Book )

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

The work of the Scientific Technical Society of the Non-Ferrous Metallurgy in 1959 and the task for 1960 is presented
X-ray research of polycrystals. X-ray diffraction methods for precision determinations of polycrystal lattice parameters over unsolved double lines by G. V Davydov( )

1 edition published in 1968 in English and held by 2 WorldCat member libraries worldwide

Spravočnaâ kniga po matematičeskoj logike( Book )

1 edition published in 1983 in Russian and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Physica st ... to 0.00 for Physica st ...)

WorldCat IdentitiesRelated Identities
Alternative Names
Давыдов, Г.В

Languages