Skip to content
ucla.edu
Skip to content
Logo alt text

General Catalog

Course

Automated Reasoning: Theory and Applications

COMSCI264A
4 units
Logo alt text
The UCLA General Catalog is published annually. Every effort has been made to ensure the accuracy of the information presented in the UCLA General Catalog. However, all courses, course descriptions, instructor designations, curricular degree requirements, and fees described herein are subject to change or deletion without notice. Department websites referenced herein are published independently and may not reflect approved curricula and courses information. Consult this Catalog for the most current, officially approved courses and curricula.

As a public land-grant institution, UCLA acknowledges the Gabrielino/Tongva peoples as the traditional land caretakers of Tovaangar (Los Angeles basin and South Channel Islands).

University of California, Los Angeles Los Angeles, CA 90095-1361Main telephone: 310-825-4321 (campus operator)Speech- and hearing-impaired access: TTY 310-825-2833
  • Faculty Honors and Administration
  • Catalog PDF
  • Catalog Administration
  • Registrar's Office
  • MyUCLA
  • Student Affairs
  • © Regents UC
Powered by CourseLoop