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 1 records
  1. ტიბუა, ლალი.

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

    UDC: 510.6 + 51

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

    D 5.941 - Depositary Georgian Publications

     

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