Computational Logic CL 2000 00
by John Lloyd - undifferentiated, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Lus Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey
Mathematical Logic and Formal LanguagesProgramming TechniquesDatabase managementLogic designLogics and Meanings of ProgramsArtificial Intelligence (incl. Robotics)Artificial intelligenceComputer science
Writing a summary for young readers…
For young readers
Book data: Open Library