Listing 1 - 10 of 13604 | << page >> |
Sort by
|
Choose an application
Proceedings of the 5th Annual IEEE Symposium on [title], held in Philadelphia, June 1990. Representative topics include abstract data types, automated deduction, concurrency, constructive mathematics, data base theory, finite model theory, knowledge representation, lambda and combinatory calculi, logical aspects of computational complexity, logics in artificial intelligence, logic programming, modal and temporal logics, program logic and semantics, rewrite rules, software specification, type systems, verification. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR.
Choose an application
Choose an application
Choose an application
Choose an application
Choose an application
Choose an application
The Scandinavian Conference on Artificial Intelligence is one of the regional AI conferences in Europe. This title includes contributions that exemplify the diversity of research in artificial intelligence and confirm the achievement and magnitude of 25 years AI research in Scandinavia.
Choose an application
Electronic digital computers. --- Switching theory. --- Logic machines.
Choose an application
Algebra, Boolean --- Logic machines --- Boole, Algèbre de. --- Machines logiques.
Choose an application
Logic, Symbolic and mathematical. --- Mathematics --- Logic machines. --- Psychology --- Knowledge, Theory of. --- Philosophy. --- Mathematical models.
Listing 1 - 10 of 13604 | << page >> |
Sort by
|