Envoyer par SMS: Metody i algoritmy induktivnogo vyvoda /