search result

Cover von Model Checking and Artificial Intelligence
6th International Workshop, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 6572
Media group: MONOGRAPHIE
Cover von A Knowledge-Based Analysis of Intersection Protocols

A Knowledge-Based Analysis of Intersection Protocols

Year: 2024
Media group: LIPIcs
Cover von Logics for emerging applications of databases
16.07 .- 21.07.00, Seminar Nr. 00291
Search for this author
Year: 2000
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 282
Media group: DAGSTUHL-SEMINAR-REP
Cover von Logics for emerging applications of databases
Search for this author
Year: 2004
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Handbook of Deontic Logic and Normative Systems
Search for this author
Year: 2013
Publisher: London, College Publications
Media group: MONOGRAPHIE
Cover von Deontic logic in computer science
9th international conference : Luxembourg, Luxembourg, July 15 - 18, 2008 : proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 5076
Media group: MONOGRAPHIE
OPEN V 11.1.0.0