Edoweb

22 Treffer

Seiten

Titel	ID	Objektart
TwoUse: Integrating UML models and OWL ontologies Parreiras, Fernando Silva	HT015954381	Monografie
Hybrid multiagent systems with timed synchronization-specification and model checking	HT015954359	Monografie
Avoidance of routing loops Bohdanowicz, Frank	HT015836941	Monografie
Tableaux between proving, projection and compilation	HT015230644	Monografie
Hyper Tableaux with equality Baumgartner, Peter \| Furbach, Ulrich \| Pelzer, Björn \| Universität Koblenz-Landau. Institut für Informatik	HT015288509	Monografie
Knowledge compilation for description logics	HT015230635	Monografie
Multi-agent systems Mohammed, Ammar \| Furbach, Ulrich \| Universität Koblenz-Landau. Institut für Informatik	HT016079273	Monografie
Does a Semantic Desktop facilitate your daily tasks? Franz, Thomas \| Scherp, Ansgar	HT015709621	Monografie
Konzept einer Public Key Infrastruktur in iCity	HT016079504	Monografie
Linkless normal form for ALC concepts Schon, Claudia \| Universität Koblenz-Landau. Institut für Informatik	HT016592726	Monografie