Showing 1 - 3 results of 3 for search 'Cervesato, Iliano', query time: 0.02s Refine Results
  1. 1
    The Deductive Spreadsheet
    by Cervesato, Iliano
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings /
    Published 2007
    Other Authors: “…Cervesato, Iliano…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
    Published 2008
    Other Authors: “…Cervesato, Iliano…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search