Wyniki wyszukiwania dla: Edward Hermann Haeusler
Bulletin of the Section of Logic > 2022 > 51 > 2 > 197-205
Bulletin of the Section of Logic > 2020 > 49 > 3 > 213-230
Electronic Notes in Theoretical Computer Science > 2016 > 324 > C > 165-179
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Ecology Based Decentralized Agent Management System > 72-91
Lecture Notes in Computer Science > Advances in Artificial Intelligence - SBIA 2008 > Knowledge Representation and Reasoning > 167-176
Lecture Notes in Computer Science > Advances in Conceptual Modeling - Challenging Perspectives > Invited Talks > 34-44
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Ecology Based Decentralized Agent Management System > 92-110
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Web Science > 502-518
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Ubiquitous and Context Aware Systems > 519-533
Electronic Notes in Theoretical Computer Science > 2015 > 315 > Complete > 31-46
Electronic Notes in Theoretical Computer Science > 2015 > 312 > Complete > 107-124
Electronic Notes in Theoretical Computer Science > 2015 > 312 > Complete > 125-141
Electronic Notes in Theoretical Computer Science > 2014 > 305 > Complete > 67-83
International Transactions in Operational Research > 19 > 3 > 487 - 491