Suggested Topics within your search.
Suggested Topics within your search.
mathematical logic
286
computers
286
informatics
253
artificial intelligence
136
algorithmization
114
formal languages
84
robotics
49
more ...
Automated deduction in classical and non-classical logics : Selected papers
by Caferra, Ricardo Published: 2000
Book