Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (Lecture Notes in Computer Science, Band 7734)
Ein tiefgehendes Sammelwerk aus dem internationalen Symposium zur theoretischen Informatik, das aktuelle Forschungsergebnisse zu logischen Modellen, f ...