Record details
Subjects: Automatic theorem proving--Congresses; Artificial intelligenceCOMPUTERS / Artificial Intelligence / General; COMPUTERS / Computer Architecture; COMPUTERS / Computer Science
Subjects: Artificial intelligence; Convergence (Telecommunication); Internet of thingsCOMPUTERS / Artificial Intelligence / General; COMPUTERS / General; COMPUTERS / Internet of Things (IoT)
Subjects: Software engineering; Artificial intelligence; Computer scienceCOMPUTERS / Software Development & Engineering / General; COMPUTERS / Artificial Intelligence / General; COMPUTERS / Computer Architecture
Subjects: Computer engineering; Computer networks; Artificial intelligenceCOMPUTERS / Hardware / General; COMPUTERS / Artificial Intelligence / General; COMPUTERS / Software Development & Engineering / General
Subjects: Artificial intelligence; Software engineering; Electronic digital computers—EvaluationCOMPUTERS / Artificial Intelligence / General; COMPUTERS / Computer Architecture; COMPUTERS / Computer Science
Subjects: Artificial intelligence; Computer science; Machine theoryCOMPUTERS / Artificial Intelligence / General; COMPUTERS / Business & Productivity Software / General; COMPUTERS / Programming / Compilers
Subjects: Computer science; Computer engineering; Computer networksCOMPUTERS / Computer Science; COMPUTERS / Artificial Intelligence / General; COMPUTERS / Software Development & Engineering / General
Subjects: Software engineering; Compilers (Computer programs); Computer programmingCOMPUTERS / Software Development & Engineering / General; COMPUTERS / Artificial Intelligence / General; COMPUTERS / Programming / Compilers