Browse

Author Profile

Browsing by Subject Định lý tự động

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 2 of 2
  • OER000003309.pdf.jpg
  • Ebooks (Sách điện tử)

  • Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

    • Authors : - (2024)

  • Bộ LNAI 14739-14740 gồm hai tập này tạo thành từ Hội nghị chung quốc tế lần thứ 12 về lý luận tự động, IJCAR 2024, được tổ chức tại Nancy, Pháp, trong thời gian từ ngày 3 đến ngày 6 tháng 7 năm 2024. 39 bài nghiên cứu đầy đủ và 6 bài viết ngắn trình bày trong cuốn sách này đã được xem xét và lựa chọn cẩn thận từ 115 bài nộp. Các bài viết tập trung vào các chủ đề: chứng m...