Bochman, Alexander, 1955-....
Bochman, Alexander
בוכמן, אלכסנדר
VIAF ID: 50115936 ( Personal )
Permalink: http://viaf.org/viaf/50115936
Preferred Forms
-
- 100 1 _ ‡a Bochman, Alexander
-
-
-
- 100 1 _ ‡a Bochman, Alexander ‡d 1955-
-
- 100 1 0 ‡a Bochman, Alexander, ‡d 1955-
- 100 1 _ ‡a Bochman, Alexander, ‡d 1955-....
-
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Complexity of proofs and their transformations in axiomatic theories | |
Explanatory nonmonotonic reasoning | |
A logical theory of nonmonotonic inference and belief change, 2001: | |
Mereological semantics | |
Slozhnostʹ dokazatelʹstv i ikh preobrazovaniĭ v aksiomatizirovannykh teorii︠a︡kh. |