Tessaris, Sergio.
Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures / [electronic resource] : edited by Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5689 0302-9743 ; . - Lecture Notes in Computer Science, 5689 .
9783642037542
10.1007/978-3-642-03754-2 doi
Computer science.
Computer software.
Logic design.
Algebra--Data processing.
Information systems.
Computer Science.
Information Systems Applications (incl.Internet).
Symbolic and Algebraic Manipulation.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
QA76.76.A65
005.7
Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures / [electronic resource] : edited by Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5689 0302-9743 ; . - Lecture Notes in Computer Science, 5689 .
9783642037542
10.1007/978-3-642-03754-2 doi
Computer science.
Computer software.
Logic design.
Algebra--Data processing.
Information systems.
Computer Science.
Information Systems Applications (incl.Internet).
Symbolic and Algebraic Manipulation.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
QA76.76.A65
005.7