Computational Logic CL 2000 00

Name: Computational Logic CL 2000 00
Author: John Lloyd - undifferentiated, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Lus Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey

by John Lloyd - undifferentiated, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Lus Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey

No description available.

Mathematical Logic and Formal LanguagesProgramming TechniquesDatabase managementLogic designLogics and Meanings of ProgramsArtificial Intelligence (incl. Robotics)Artificial intelligenceComputer science