mechanization

  1. Home
  2. search page
  3. keyword

mechanization

정의: 정의를 찾을 수 없습니다.

📄 키워드 상세정보

핵심 연구 분야Artificial Intelligence
주요 연도2023년
주요 연관 키워드car
좋아요 수0

키워드별 논문 목록 (2건)

CDA-Net: Computer Vision based Automatic Car Damage Analysis
저자: Iyshwarya Ratthi Kannan , Yogameena Balasubramanian , Saravana Perumaal Subramanian , Menaka Kandhasamy , Sivasankari Ramesh
키워드: #car #automotive #engineer #mechanization #punched
파트: Artificial Intelligence | 연도: 2024
A Core Calculus for Equational Proofs of Cryptographic Protocols
저자: Joshua Ralph Gancher , Kristina Sojakova , Xiong Fan , E. Shi , Greg Morrisett
키워드: #cryptographic #theoretical #mechanization #proof #proofs
파트: Cryptography | 연도: 2023