DE eng

Search in the Catalogues and Directories

Hits 1 – 3 of 3

1
An algorithm for automatic demonstration of logical theorems
In: Metalogicon. - Campobasso : Diogene Edizioni 22 (2009) 1, 1-12
BLLDB
Show details
2
Simulation expert system for making students' college decisions
In: Automatic documentation and mathematical linguistics. - New York, NY : Allerton Press 43 (2009) 5, 292-295
BLLDB
Show details
3
Experimental study into the properties of the Monte-Carlo method for inductive formation of knowledge in terms of a simplified ontology for medical diagnostics
In: Automatic documentation and mathematical linguistics. - New York, NY : Allerton Press 43 (2009) 4, 207-220
BLLDB
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
3
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
0
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern