Bir kısaltma önermek Yer imlerine ekle Sayfayı yazdır Bir kısaltma aramak Ana sayfaJAuR JAuR ne anlama geliyor? Kod Anlam Dil Temalar ve yerler JAuR Journal of Automated Reasoning İngilizcede Seriler, süreli yayınlarMatematik