Logistica 2.0: A Technology for Implementing Automatic Deduction Systems.
Frank M. BrownPublished in: TABLEAUX (2003)
Keyphrases
- technological advances
- computer systems
- neural network
- real time
- key technologies
- building blocks
- intelligent systems
- distributed systems
- data mining
- retrieval systems
- cost effective
- office automation
- technical solutions
- case study
- search engine
- first order logic
- databases
- database
- current trends
- technical issues
- electronic devices