Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Yazar
Materyal Türü
Dil
Yayın Yılı
-
Konu
Kütüphane
Lokasyon
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
2 sonuç bulundu Arama sonuçlarına abone ol
00DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Mathematics mechanization and applications için kapak resmi
      1. 
      Mathematics mechanization and applications
      by 
      Gao, Xiao-Shan.
      ScienceDirect http://www.sciencedirect.com/science/book/9780127347608
      Format: 
      Alıntı: 
      Mechanical Geometry Theorem Proving. X. Hou, Proving by Examples. X. Gao, Search Methods Revisited. J. Wu
      Oriented projective geometry : a framework for geometric computations için kapak resmi
      2. 
      Oriented projective geometry : a framework for geometric computations
      by 
      Stolfi, Jorge.
      ScienceDirect https://www.sciencedirect.com/science/book/9780126720259
      Format: 
      Alıntı: 
      Chapter 17. Euclidean geometry on the two-sided plane1. Perpendicularity; 2. Two-sided Euclidean