Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword logic programming / yhteensä: 8

viitteet: 4-8 / 8

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
4.	Logic Programming with Cardinality Constraints	2003	Syrjänen, Tommi
5.	Implementing a formal agent description language	2001	Pääkkönen, Rauni
6.	A Rule-Based Formal Model for Software Configuration	1999	Syrjänen, Tommi
7.	Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics	1997	Simons, Patrik
8.	Investigations on Cautious Autoepistemic Reasoning	1994	Janhunen, Tomi

« edellinen sivu | seuraava sivu »

INSSI