თეორემათა ავტომატური მტკიცების ზოგიერთი მეთოდი : ავტორეფ... ფიზ.-მათ. მეცნ. კანდ. 01.01.06 / ლალი ტიბუა ; ივანე ჯავახიშვილის სახელობის თბილისის სახელმწიფო უნივერსიტეტი ; [სამეცნ. ხელმძღვანელი: ხიმურ რუხაია].

By:

Contributor(s):

Material type: Text

TextLanguage: Georgian თბილისი, 2005Description: 25 გვ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(043) (Browse shelf(Opens below))	2K90940	Available		2019-7119

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(035) Справочная книга по математической логике. В 4-х частях. Ч.1 :	510.6(035) Справочная книга по математической логике. В 4-х частях. Ч. 4 :	510.6(043) Σ X, 5 კლასის ნახევარმესერებით. განსაზღვრული ბინარულ მიმართებათა სრული ნახევარჯგუფები :	510.6(043) თეორემათა ავტომატური მტკიცების ზოგიერთი მეთოდი :	510.6(043) ბინარულ მიმართებათა სრული ნახევარჯგუფები :	510.6(043) პარაბოლური ფორმები და რიცხვთა წარმოდგენა 8 საფეხურის დადებითად განსაზღვრული კვადრატული ფორმებით :	510.6(063) Всесоюзная конференция по прикладной логике, 2-е . Новосибирск, 7-9 июня 1988г. :	Next

ტექსტი ქართ. და ინგლ. ენებზე

There are no comments on this title.

to post a comment.

National Science Library of Georgia