Your search returned 2 results.

Results
	1.	Логика и компьютер Вып. 2 [Сборник] Рос. АН; Отв. ред. В. А. Смирнов by Смирнов, В. А [отв. ред.]. Series: Кибернетика: неограниченные возможности и возможные ограниченияMaterial type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1995Other title: Логические языки, содержательные рассуждения и методы поиска доказательств.Availability: No items available : Place hold Log in to add tags Add to cart (remove)
	2.	Логика и компьютер Вып. 3 Доказательство и его поиск. (Курс логики и компьютерный практикум)/ В. А. Смирнов и др. Рос. АН; Отв. ред. В. А. Смирнов by Смирнов, В. А. Series: Кибернетика: неограниченные возможности и возможные ограниченияMaterial type: Text; Format: print Publication details: М. Наука 1996Availability: No items available : Place hold Log in to add tags Add to cart (remove)

E-catalog