Search results
Lecture Notes in Computer Science > Challenges for Next Generation Network Operations and Service Management > Session 4: Autonomous and Distributed Control > 146-155
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 4. Short Papers > 450-456
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 364-397
Lecture Notes in Computer Science > Argumentation in Multi-Agent Systems > Argumentation and Dialogue > 93-106
Lecture Notes in Computer Science > Parle ’91 Parallel Architectures and Languages Europe > Submitted Presentations > 588-605
Lecture Notes in Computer Science > Rough Sets and Current Trends in Computing > Interestingness > 285-294
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE > Ontology Mappings > 882-890
Lecture Notes in Computer Science > Development of Multimodal Interfaces: Active Listening and Synchrony > 327-336
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 350-369
Lecture Notes in Computer Science > Logic Programming > 356-370
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Categorical and Coalgebraic Methods > 312-327