Sugestu mallongigon Aldonu tiun artikolon en viaj legosignoj Printu tiun artikolon Serĉu iun mallongigon AkceptejoJAuR JAuR Kodo Signifo Lingvo Temoj kaj lokoj JAuR Journal of Automated Reasoning En la angla Periodaĵoj, seriaĵojMatematiko