أرسل هذا في رسالة قصيرة

رقم:

مقدم:

كابتشا:

   _____    _____     _____      ___      ______  
  / ___//  |  ___||  |__  //    / _ \\   /_   _// 
  \___ \\  | ||__      / //    | / \ ||  `-| |,-  
  /    //  | ||__     / //__   | \_/ ||    | ||   
 /____//   |_____||  /_____||   \___//     |_||   
`-----`    `-----`   `-----`    `---`      `-`'

يرجى إدخال ما تراه::

أرسل هذا في رسالة قصيرة: Automatic models of first order theories