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 All Copies
| Location | Call Number / Copy Notes | Barcode | Shelving Location | Status | Due Date |
|---|
Electronic resources
| LDR | 00620cam a2200205Ka 4500 | ||
|---|---|---|---|
| 001 | 255314 | ||
| 003 | GUL | ||
| 005 | 20240501072548.0 | ||
| 080 | 0 | . | ‡a510.51 |
| 092 | . | ‡aტ-55 | |
| 100 | 1 | . | ‡aტიბუა, ლალი. |
| 245 | 1 | 0. | ‡aთეორემათა ავტომატური მტკიცების ზოგიერთი მეთოდი: ‡kდისერტაცია / ‡cლალი ტიბუა; სამეცნიერო ხელმძღვანელი:ფიზიკა-მათემატიკის მეცნიერებათა კანდიდატი, უფრ. მეცნ. თანამშრომელი: ხ. რუხაია; ივ. ჯავახიშვილის სახელობის თბილისის სახელმწიფო უნივერსიტეტი; ილია ვეკუას სახელობის გამოყენებითი მათემატიკის ინსტიტუტი. |
| 260 | . | ‡aთბილისი: ‡b[გ.გ] ‡c2005. | |
| 300 | . | ‡a103 გვ. | |
| 502 | . | ‡aფიზიკა-მათემატიკის მეცნიერებათა კანდიდატის სამეცნიერო ხარისხის მოსაპოვებლად. | |
| 504 | . | ‡a101-103 გვ. | |
| 505 | . | ‡a1.ინტელექტუალური გამოთვლების ზოგიერთი ლოგიკური მეთოდი--მეტაფორმულები თეორემათა ავტომატურ მტკიცებაში--გამოყვანის ერბრანისეული მეთოდები. | |
| 650 | 1 | 4. | ‡aფიზიკა. |
| 650 | 2 | 4. | ‡aმათემატიკა. |
| 700 | 1 | . | ‡aრუხაია,ხ. ‡eსამეცნ. ხელ. |
| 710 | 2 | . | ‡a ივ. ჯავახიშვილის სახელობის თბილისის სახელმწიფო უნივერსიტეტი; ილია ვეკუას სახელობის გამოყენებითი მათემატიკის ინსტიტუტი. |
| 856 | 4 | 0. | ‡uhttps://ebooks.tsu.ge/free/ge-dissertations#t-2 ‡yელექტრონული ვერსია |
| 901 | . | ‡a255314 ‡b ‡c255314 ‡tbiblio ‡sSystem Local | |
