Browse

Author Profile

Browsing by Subject Chứng minh đị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 3 of 3
  • OER000003335.pdf.jpg
  • Ebooks (Sách điện tử)

  • Automated deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

    • Authors : - (2023)

  • Cuốn sách truy cập mở này cấu thành từ hội nghị quốc tế lần thứ 29 về Khấu trừ tự động, CADE 29, diễn ra tại Rome, Ý, vào tháng 7 năm 2023. Có 28 bài báo đầy đủ và 5 bài báo ngắn được trình bày đã được xem xét và lựa chọn kỹ lưỡng từ 77 bài đã nộp. CADE là diễn đàn chính để trình bày nghiên cứu về mọi khía cạnh của suy luận tự động, bao gồm nền tảng, ứng dụng, ...
  • OER000003391.pdf.jpg
  • Ebooks (Sách điện tử)

  • Automated deduction -- CADE 28 : 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021, Proceedings

    • Authors : - (2021)

  • Cuốn sách truy cập mở này tập trung nội dung của Hội nghị quốc tế về suy luận tự động lần thứ 28, CADE 28, được tổ chức trực tuyến vào tháng 7 năm 2021. Có 29 bài báo đầy đủ và 7 mô tả hệ thống được trình bày cùng với 2 bài báo được mời đã được xem xét và lựa chọn cẩn thận từ 76 bài đã nộp. CADE là diễn đàn chính để trình bày nghiên cứu về mọi khía cạnh của suy...
  • OER000003270-1.pdf.jpg
  • Ebooks (Sách điện tử)

  • Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

    • Authors : - (2022)

  • LNAI 13385 được cấu thành từ Hội nghị chung quốc tế lần thứ 11 về suy luận tự động, IJCAR 2022, được tổ chức tại Haifa, Israel, vào tháng 8 năm 2022. 32 tài liệu nghiên cứu đầy đủ và 9 bài báo ngắn được trình bày cùng với hai buổi tọa đàm được mời đã được xem xét kỹ lưỡng. được xem xét và lựa chọn từ 85 bài nộp. Các bài viết tập trung vào các chủ đề sau: Sự thỏa mãn, Giả...