Skip to main content
English
Қазақ
Руский
Log In
Email address
Password
Log in
Have you forgotten your password?
Communities & Collections
All of NUR
Submission guide
English
Қазақ
Руский
Log In
Email address
Password
Log in
Have you forgotten your password?
Home
002. NU Schools
School of Science and Technology (2015-2019)
Computer Science
Articles
Browse by Subject
Articles
Permanent URI for this collection
https://testres.nu.edu.kz/handle/123456789/2755
Browse
Recent Submissions
By Issue Date
By Author
By Title
By Subject
By Subject Category
Recent Submissions
By Issue Date
By Author
By Title
By Subject
By Subject Category
Browsing Articles by Subject
Browse
Now showing
1 - 19 of 19
Results Per Page
1
5
10
20
40
60
80
100
Sort Options
Ascending
Descending
Biofilms
1
brain-computer interface
1
Chat bot
1
Cognitive science
2
computer
1
Coq proof assistant
1
Formal methods
3
Human behavior
1
Human memory models
1
Human reasoning
1
interactive theorem prover
1
Problem solving
1
proof assistant
1
Real-Time Maude
2
Research Subject Categories::TECHNOLOGY
1
Rewriting logic
2
theorem proving
1
Type of access: Open Access
4
user interface
1