KI 2003: Advances in Artificial Intelligence

DOI10.1007/B13477zbMath1274.03055OpenAlexW2485206924MaRDI QIDQ5897298

Martin Lange

Publication date: 3 March 2010

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

Full work available at URL: https://doi.org/10.1007/b13477

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70)

Related Items (2)

Cut-free sequent systems for temporal logic ⋮ Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse

This page was built for publication: KI 2003: Advances in Artificial Intelligence