000			01102nam a22002531i 4500
001			000029866
003			RuMoIPM
005			20260304103353.0
008			130426s1961----ru | c rus
035			_abiblionumber
040			_aRuMoIPM _brus _ercr
041	1		_arus _heng
080			_a510.6
080			_a62-50
100	1		_aБеркли, Эдмунд Каллис
245	1		_aСимволическая логика и разумные машины = _bSymbolic logic and intelligent machines _cЭ. Беркли _cПер. с англ. И. В. Соловьева ; Под ред. и с предисл. Г. Н. Поварова
260			_aМосква _bИзд-во иностр. лит. _c1961
300			_a260 с., 1 л. схем. _bчерт.
500			_aДоп. тит. л.: Symbolic logic and intelligent machines. Edmund C. Berkeley. New York, Reinhold publ. corporation; London, Chapman and Hall
504			_aБиблиогр.: с. 241-252
700	1		_aСоловьев, И. В. _eпер.
700	1		_aПоваров, Г. Н. _eред. _eавт. предисл.
942			_cBK
999			_c29866 _d29866