Search the digital library catalog

Query:	search in
	search in
	search in
	search in
Work type:	* old and bologna study programme
Language:
Search in:
Options:	Show only hits with full text
	Reset

1 - 1 / 1

Keywords: predikatni račun, dokazovanje teoremov, resolucija, umetna inteligenca
Published: 26.07.2007; Views: 1454; Downloads: 0

Search done in 0.04 sec.