Open Conference Systems
Conference Help
User
Username
Password
Remember me
Notifications
View
Subscribe
/
Unsubscribe
Language
English
Українська (Ukrainian)
Conference Content
Search
All
Authors
Title
Abstract
Index terms
Full Text
Browse
By Conference
By Author
By Title
Font Size
Information
For Readers
For Authors
Home
About
Log In
Account
Search
Archive
Announcements
Home
>
Search
>
Author Details
Author Details
Lyaletski, Alexander, NULES of Ukraine
GLOBAL AND REGIONAL PROBLEMS OF INFORMATIZATION IN SOCIETY AND NATURE USING 2020
- TECHNOLOGY OF DATA PROCESSING AND SOFTWARE DEVELOPING
Evidence Algorithm and proof search in automated reasoning systems
Abstract
This work is licensed under a
Creative Commons Attribution 3.0 License
.
