Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /
This book is dedicated to Marek Sergot, Professor in Computational Logic at Imperial College London, on the occasion of his 60th birthday. Professor Sergot’s scientific contributions range over many different fields. He has developed a series of novel ideas and formal methods bridging areas includin...
| Corporate Author: | SpringerLink (Online service) |
|---|---|
| Other Authors: | Artikis, Alexander (Editor), Craven, Robert (Editor), Kesim Çiçekli, Nihan (Editor), Sadighi, Babak (Editor), Stathis, Kostas (Editor) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2012.
|
| Series: | Lecture Notes in Computer Science,
7360 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday /
Published: (2010) -
Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /
Published: (2010) -
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings /
Published: (2010) -
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday /
Published: (2005) -
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers /
Published: (2016)