Gesponsert von
VoxDeck
- KI-Präsentations-Tool, das die visuelle Revolution anführt
VoxDeck
- KI-Präsentations-Tool, das die visuelle Revolution anführt
KI-Tools
KI-Agenten
MCP
KI-News
Ranking
Einreichen & Werben
Anmelden
DE
DE
logic
All
MCP-Logic
Ein Server, der Prover9/Mace4 für automatisierte Theoremprüfung und logisches Denken in KI-Systemen integriert.
Forschung und Daten
Wissen und Gedächtnis
Ausgewählt
