Book
თეორემათა ავტომატური მტკიცების ზოგიერთი მეთოდი: დისერტაცია / ლალი ტიბუა; სამეცნიერო ხელმძღვანელი:ფიზიკა-მათემატიკის მეცნიერებათა კანდიდატი, უფრ. მეცნ. თანამშრომელი: ხ. რუხაია; ივ. ჯავახიშვილის სახელობის თბილისის სახელმწიფო უნივერსიტეტი; ილია ვეკუას სახელობის გამოყენებითი მათემატიკის ინსტიტუტი.
Record details
- Physical Description: 103 გვ.
- Publisher: თბილისი: [გ.გ] 2005.
Content descriptions
| Dissertation Note: | ფიზიკა-მათემატიკის მეცნიერებათა კანდიდატის სამეცნიერო ხარისხის მოსაპოვებლად. |
| Bibliography, etc. Note: | 101-103 გვ. |
| Formatted Contents Note: | 1.ინტელექტუალური გამოთვლების ზოგიერთი ლოგიკური მეთოდი--მეტაფორმულები თეორემათა ავტომატურ მტკიცებაში--გამოყვანის ერბრანისეული მეთოდები. |
Search for related items by subject
| Subject: | ფიზიკა. მათემატიკა. |
Available copies
- 0 of 1 copy available at United Catalog.
Holds
- 0 current holds with 1 total copy.
Show Only Available Copies
| Location | Call Number / Copy Notes | Barcode | Shelving Location | Status | Due Date |
|---|---|---|---|---|---|
| Grigol Tsereteli Reading Hall | F-88107 | 900001466319 | Stacks | In process | - |
