Search for "" returned 4810 matches
Position in the table of contents
PAR 12/2011
Metody optymalizacyjne oparte na ogólnym schemacie modelu algebraiczno-logicznego
Position in the table of contents
PAR 12/2011
Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej