Найдено 3827822, cтраницы: ←
|
1
...
261148
261149
261150
261151
· 261152 ·
261153
261154
261155
261156
...
318986
|
→
On Types and Type Consistency in Logic Programming (Dissertations in Artificial Intelligence-Infix, 235)
Cooperation in Heterogeneous Theorem Prover Networks (Dissertations in Artificial Intelligence-Infix, 231)
Relevancy Based Use of Lemmas in Connection Tableau Calculi (Dissertations in Artificial Intelligence-Infix, 227)
Local Search Algorithms for Combinatorial Problems - Analysis, Improvements and New Applications (Dissertations in Artificial Intelligence-Infix, 220)
Knowledge Management for Intelligent Sales Support in Electronic Commerce (Dissertations in Artificial Intelligence-Infix, 213)
Component-Based User Guidance in Knowledge Discovery and Data Mining (Dissertations in Artificial Intelligence-Infix, 211)
Representation and Processing of Knowledge About Distances in Environmental Space (Dissertations in Artificial Intelligence-Infix, 197)
Feature Interactions in Telecommunications and Software Systems VI
Typically, telecommunications services are implemented in software. Feature Inte...
SAT2000
The book is devoted to various disciplines in Satisfiability research and aims t...
Knowledge-Based Software Engineering
The fourth Joint Conference on Knowledge-Based Software Engineering (JCKBSE) wil...
Case Studies of Security Problems and their Solutions
The SIREN project was established by the Health Telematics Programme of the Euro...
Advances in Intelligent Systems: Theory and Applications
This book is dedicated to the theory and applications of Intelligent Systems. Re...
Найдено 3827822, cтраницы: ←
|
1
...
261148
261149
261150
261151
· 261152 ·
261153
261154
261155
261156
...
318986
|
→