Search Results - "Artificial intelligence"
-
521
-
522
-
523
-
524
Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
Published 2013Get full text
Article -
525
-
526
Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents
Published 2013Get full text
Article -
527
Simulation Model of Vector Processor Solving the Problem of Path Finding in Graph
Published 2013Get full text
Article -
528
-
529
-
530
-
531
Intelligent System of Computer Mathematics for High-Performance Computing
Published 2013Get full text
Article -
532
-
533
-
534
-
535
-
536
-
537
-
538
-
539
-
540
UWN:Ontocorrector as a Tool for Ukrainian Language Linguistic Ontology Creation
Published 2013Get full text
Article