LogiMOO
From MaRDI portal
Software:14279
swMATH1573MaRDI QIDQ14279FDOQ14279
Author name not available (Why is that?)
Cited In (7)
- Speeding up algorithms on atomic representations of Herbrand models via new redundancy criteria
- Rule-based natural-language interface for virtual environments.
- Some challenges for constraint programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines
- Object-oriented virtual environment for visualization of flexible multibody systems
This page was built for software: LogiMOO