Reasoning web. Third international summer school 2007, Dresden, Germany, September 3--7, 2007. Tutorial lectures

DOI10.1007/978-3-540-74615-7zbMath1123.68002WikidataQ58043595 ScholiaQ58043595MaRDI QIDQ2461161

No author found.

Publication date: 26 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74615-7

Mathematics Subject Classification ID

00B25: Proceedings of conferences of miscellaneous specific interest

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)

Related Items

An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints