Image from Google Jackets

Normal view MARC view ISBD view

Всесоюзная конференция "Методы математической логики в проблемах искусственного интелекта и систематическое программирование" : Тезисы докладов и сообщений. Паланга 3-5 сентября 1980 г. Ч.2.

Material type: Text

Text

TextLanguage: Russian Вильнюс : Ин-т математики и кибернетики АН Лит. ССР, 1980Description: 270 сSubject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
წიგნი	ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ.	510.6(063) (Browse shelf(Opens below))	2R570352	შესამოწმებელია		2016-26329

Browsing ეროვნული სამეცნიერო ბიბლიოთეკა 1 shelves, Shelving location: საცავი. 1 კორპ. Close shelf browser (Hides shelf browser)

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	510.6(063) Всесоюзная конференция по математической логике, 4-я . Кишинев, 1976 г. :	510.6(063) Интенсиональные логики и логическая структура теорий :	510.6(063) Интенсиональные логики и логическая структура теорий :	510.6(063) Всесоюзная конференция "Методы математической логики в проблемах искусственного интелекта и систематическое программирование" :	510.6(075.32) Математическая логика :	510.6(075.8) მოდელირება წინადადებათა ლოგიკის ენაზე :	510.6(075.8) მოდელირება წინადადებათა ლოგიკის ენაზე :	Next

Библиогр. в конце статей

There are no comments on this title.

to post a comment.

Copyright © 2023 Sciencelib.ge All rights reserved.