-
1Principles and Practice of Semantic Web Reasoning [electronic resource] : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings / Principles and Practice of Semantic Web Reasoning [electronic resource] : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings /by Ohlbach, Hans Jürgen. editor., Schaffert, Sebastian. editor., SpringerLink (Online service)
Published 2004Texto bibliotecaCOLPOS -
2Principles and Practice of Semantic Web Reasoning [electronic resource] : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings / Principles and Practice of Semantic Web Reasoning [electronic resource] : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings /by Ohlbach, Hans Jürgen. editor., Schaffert, Sebastian. editor., SpringerLink (Online service)
Published 2004Texto bibliotecaCOLPOS -
3
-
4
-
5Temporal Logic [electronic resource] : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings / Temporal Logic [electronic resource] : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings /by Gabbay, Dov M. editor., Ohlbach, Hans Jürgen. editor., SpringerLink (Online service)
Published 1994Texto bibliotecaCOLPOS -
6Temporal Logic [electronic resource] : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings / Temporal Logic [electronic resource] : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings /by Gabbay, Dov M. editor., Ohlbach, Hans Jürgen. editor., SpringerLink (Online service)
Published 1994Texto bibliotecaCOLPOS -
7Qualitative and Quantitative Practical Reasoning [electronic resource] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 B... Qualitative and Quantitative Practical Reasoning [electronic resource] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 B...by Gabbay, Dov M. editor., Kruse, Rudolf. editor., Nonnengart, Andreas. editor., Ohlbach, Hans Jürgen. editor., SpringerLink (Online service)
Published 1997Texto bibliotecaCOLPOS -
8Qualitative and Quantitative Practical Reasoning [electronic resource] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 B... Qualitative and Quantitative Practical Reasoning [electronic resource] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 B...by Gabbay, Dov M. editor., Kruse, Rudolf. editor., Nonnengart, Andreas. editor., Ohlbach, Hans Jürgen. editor., SpringerLink (Online service)
Published 1997Texto bibliotecaCOLPOS