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
Browse by Subject
Computer Science
Permanent URI for this community
https://testres.nu.edu.kz/handle/123456789/510
Browse
Subcommunities and Collections
By Issue Date
By Author
By Title
By Subject
By Subject Category
Subcommunities and Collections
By Issue Date
By Author
By Title
By Subject
By Subject Category
Browsing Computer Science 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