Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
1 Treffer
-
In: თეორემათა მტკიცების მეთოდები სქემებსა და ურანგო ლოგიკაში/ ლია, კურტანიძე; დის. დოქტ. აკად. ხარისხის.: /სამეცნ. ხელმძღვანელი:/ მიხეილ, რუხაია; საქართველოს საპატრიარქოს წმინდა ანდრია პირველწოდებულის სახელობის ქართული უნ–ტი; თბ., 2018-110 გვ. (საქართველოს პარლამენტის ეროვნული ბიბლიოთეკა, საარქივო ფონდი, 2018HochschulschriftZugriff: