The National Library of Georgia Home - About Library - E-Resources 
NPLG Online Catalogs  | Help | Feedback |
 
English   Georgian 
Search Thematic Catalogue Search history  Change Database 
Search Result   New Search Browse
Database:DIS - National Dissertations and Abstracts Display Format 
Save Results
Records:On your query found 2 records
  1. ტიბუა, ლალი.

    თეორემათა ავტომატური მტკიცების ზოგიერთი მეთოდი : ავტორეფ... ფიზ.-მათ. მეცნ. კანდ. 01.01.06 / თსუ. - თბ., 2005. - 25გვ.. - ტექსტი ქართ. და ინგლ. ენ.[MFN: 11858]

    UDC: 510.6 + 51

    KA 2.511 - General Stock
    FA 4.232 - Depositary Georgian Publications
    PS 306/2005 - Depositary Georgian Publications

     

    * Double: თეორემათა ავტომატური მტკიცების ზოგიერთი მეთოდი

     

  1. ტიბუა, ლალი.

    თეორემათა ავტომატური მტკიცების ზოგიერთი მეთოდი : დის... ფიზ.-მათ. მეცნ. კანდ. 01.01.06 / სამეცნ. ხელმძღვ.: ხ. რუხაია ; თსუ-ს გამოყენებითი მათემატიკის ინ-ტი. - თბ., 2005. - 103გვ.. - ბიბლიოგრ.: გვ. 101-103[MFN: 28546]

    UDC: 510.6 + 51

    Subjects:
    - მათემატიკური თეორიები;

    D 5.941 - Depositary Georgian Publications

     

    * Double: თეორემათა ავტომატური მტკიცების ზოგიერთი მეთოდი