ISSN 1847-2001
e-ISSN 1848-2295

Malikovic, Marko, Croatia

  • CECIIS - 2008 - Intelligent Systems Techniques and Methods
    A formal system for automated reasoning about retrograde chess problems using Coq
    Abstract  PDF


Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Copyright (©) 2007 - 2015. Faculty of Organization and Informatics. All Rights Reserved.