Image from Google Jackets

Normal view MARC view ISBD view

Логика и компьютер: Моделирование рассуждений и проверка правильности программ / [Н. А. Алешина [и др.]];Академия наук СССР .

Contributor(s):

Material type: Text

Text

TextLanguage: Russian Series: Кибернетика - неограниченные возможности и возможности ограниченияPublication details: Москва: Наука, 1990.Description: 238 с. ил. 20 смISBN:

5020071560

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
წიგნი	ეროვნული სამეცნიერო ბიბლიოთეკა 2 კორპ. 2, საცავი	510.6 (Browse shelf(Opens below))	2K6141	Available		2017-270396

Browsing ეროვნული სამეცნიერო ბიბლიოთეკა 2 shelves, Shelving location: კორპ. 2, საცავი 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	Next
Previous	510.6 Введение в математическую логику. Т.1 /	510.6 Введение в математическую логику. Т.1 /	510.6 Математическая теория логического вывода :	510.6 Логика и компьютер: Моделирование рассуждений и проверка правильности программ /	510.6 Введение в математическую логику /	510.6 Введение в математическую логику /	510.6 Теория доказательств /	Next

Библиогр.: с. 231-234.

There are no comments on this title.

to post a comment.

Copyright © 2023 Sciencelib.ge All rights reserved.