Computational Logic CL 2000 00

Computational Logic CL 2000 00
Manfred Kerber, Lus Moniz Pereira, Veronica Dahl, Peter J. Stuckey, Yehoshua Sagiv, John Lloyd - undifferentiated, Catuscia Palamidessi, Kung-Kiu Lau, Ulrich Furbach
Details
- OL Work ID
- OL19836252W
Subjects
Mathematical Logic and Formal LanguagesProgramming TechniquesDatabase managementLogic designLogics and Meanings of ProgramsArtificial Intelligence (incl. Robotics)Artificial intelligenceComputer science