Department of Computer Science and Information Theory
automated theorem prover (1) · CHR (1) · clustering based classification (1) · datamining (1) · DCG (1) · declarative programing (1) · folk music (1) · HTML (1) · HTTP communication (1) · JavaScript (1) · JS (1) · logic (1) · logic programming (2) · machine learning (1) · Multithreading (1) · music sheet (1) · parallelization (1) · Prolog (3) · rhythmic distances (1) · SWI Prolog (2) · theorem prover (1) · web (1) · WWW (1)
6 theses in total. View all theses »