Normal view MARC view

Formalized symbolic logics (Topical Term)

Preferred form: Formalized symbolic logics

Machine generated authority record.

Work cat.: (OSt): Patterson, Dan W. 156899, Introduction to artificial intelligence and expert systems /, 2023.