Browse

Author Profile

Browsing by Subject Logic

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
  • 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, ...
  • OER000002133.pdf.jpg
  • Ebooks (Sách điện tử)

  • Introduction to Philosophy: Logic

    • Authors : CRESSMAN, COLLEEN (2017)

  • This book is part of the Introduction to Philosophy open textbook series, a set of nine (and counting?) open access textbooks that are designed to be used for introductory-level, survey courses in philosophy at the post-secondary level. This book started as one part of what had originally been conceived as a larger textbook for introduction to philosophy courses, with many different topics; each of those original topics has now become...