Publications
all |
2026,
2025,
2024,
2023,
2022,
2021,
2020,
2019,
2018,
2017,
2016,
2015,
2014,
2013,
2012,
2011,
2010,
2009,
2008,
2007,
2006,
2005,
2004,
2003,
2002,
2001,
2000,
1999,
1998,
1997,
1996,
1995,
1994,
1993,
1992,
1991,
1990,
1989,
1988,
1987,
1986,
1985
Pěchouček, M. 1997 Proof Planning and Industrial Knowledge Based System, detail
Pěchouček, M. 1997 Proof Planning and Industrial Configuration, detail
Pěchouček, M., Mařík, V. 1997 Project Oriented Production Modelling, detail
Mařík, V., Pěchouček, M., Hazdra, T., Štěpánková, O. 1997 ProPlanT-Multi-Agent System for Production Planning, detail
Pěchouček, M., Banerji, R., Štěpánková, O. 1997 Improving Proof Plans through Learning from Examples, detail
Pěchouček, M. 1997 Prolog in Business,Commerce and Industry Summary of Practical Applications of Prolog 97'Conference in London, detail
Pěchouček, M. 1997 Logic Programming: Up-to-date Trends in Knowledge Based System Design and Implementation, detail