FroCOS 2009 (2009 Trento, Italy)

Identifiers

• Open LibraryOL7124638A

Top Subjects

• Computer science (1)
• Künstliche Intelligenz (1)
• Congresses (1)
• Logik (1)
• Symbolic and mathematical Logic (1)
• Automatisches Beweisverfahren (1)
• Programmierlogik (1)