Home > Search Results: 106500
  Search Tips
Advanced Search
Search collections:
Sort by: Display results: Output format:
Results overview: Found 1 records in 0.02 seconds.
Course materials, 1 records found
Course materials 1 records found  
1.
4 p, 294.2 KB Computational Logic [106500] / Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona. Departament de Filosofia) ; Universitat Autònoma de Barcelona. Escola d'Enginyeria
This course is an introduction to logic in computer science. Students will acquire the basic techniques for the logical analysis of reasoning, emphasizing the computational aspects of logic. We will introduce algorithmic problems in logic, such as SAT-solving and automated theorem proving. [...]
2021-22
Artificial Intelligence [1488]  
Detailed record - Creative Commons

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.
UAB Digital Repository of Documents :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.6
Maintained by ddd.bib@uab.cat  :: Metadata license:
Working with