ISBN-13: 9783030810962 / Angielski / Miękka / 2021 / 249 str.
Formalizations.- Automatic Theorem Proving and Machine Learning.- Search and Classification.- Teaching and Geometric Reasoning.- Logic and Systems.- Abstracts of Invited Speakers.
Czytaj nas na: